More READMEs

bootstappable/README.md

@@ -0,0 +1,9 @@
+# A human-readable archive format, prefixed with a tiny binary stub which compiles the rest of the archive
+
+This can be used as a self-contained means to distribute buildable source code
+
+This can be used to audit the entirety of the source code, and check that building it produces the expected binary.
+
+## Related work:
+
+* bootstrappable.org

build-system/README.md

@@ -1,6 +1,6 @@
 Simple build system.
 
-* Purely functional
+* Purely functional, with reproducible and bootstrappable builds in mind
 * Runs commands in isolated environments (virtual machine or `chroot` or `proot` with `env -i`)
 * Inputs are distinguished at the syntactic level, and dependencies are automatically computed
 * Does not rely on filesystem timestamps

drivers/README.md

@@ -0,0 +1,3 @@
+Drivers to access features of the host.
+
+This includes pipes, network, sound and GUI access when running as a process, screen, SD card and keyboard when running as a Raspberry Pi Operating System.

gui/README.md

@@ -0,0 +1,3 @@
+Layout engine
+
+Zoomable user interface

tests/bootstrappable-builds/README.md

@@ -0,0 +1,5 @@
+Exports all necessary source using the human-readable bootstrappable archive format
+
+Builds the result using several executable stubs
+
+Checks that the results are identical to the expected one.

tests/portability/README.md

@@ -0,0 +1 @@
+Tests which run the OS on many emulators or platforms.