diff options
Diffstat (limited to 'Readme.md')
| -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: |