diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-08-10 19:25:44 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-08-10 19:25:44 -0700 |
| commit | d0a1e1b62fde7328189e148785b1fca302b1bf64 (patch) | |
| tree | be4295b8ad910cf5374c9659bae8cda06d55a757 | |
| parent | bd2affaaaa5ea7a251ccdd156a50cce7b8c6b8ad (diff) | |
| download | mu-d0a1e1b62fde7328189e148785b1fca302b1bf64.tar.gz | |
5506
| -rw-r--r-- | Readme.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Readme.md b/Readme.md index e688bfcd..32910e9f 100644 --- a/Readme.md +++ b/Readme.md @@ -790,9 +790,6 @@ can replicate: To falsify these hypotheses, here's a roadmap of the next few planned features: -* A script to package SubX together with a minimal Linux kernel image - (compiled from source, of course). - * Testable, dependency-injected vocabulary of primitives - Streams: `read()`, `write()`. (✓) - `exit()` (✓) @@ -810,6 +807,8 @@ To falsify these hypotheses, here's a roadmap of the next few planned features: variables; verifier checks that register reads are for the same type that was last written -- across all control flow paths. +* Gradually streamline the bundled kernel, stripping away code we don't need. + ## Credits Mu builds on many ideas that have come before, especially: |