diff --git a/index.html b/index.html
index 92192c9..1e1c1ca 100644
--- a/index.html
+++ b/index.html
@@ -96,11 +96,20 @@
+
+ MMUs are Amazing
+
+ - XIP flash for free!
+ - Swap space
+ - Encrypted swap? No problem!
+ - Realtime patching broken hardware
+
+
Operating System Selection
+ - MMU Required
- RISC-V
- - Memory Protection
- Not Linux
- Rust is a new thing?
@@ -126,19 +135,11 @@
- Microkernel
- Interrupts in userspace
- - Each page of memory is mapped once
- - Only stable Rust
- - No C compiler required
-
-
-
- More Specs
-
- - Kernel is single-threaded
- - Services use well-defined API calls
- All drivers provided in user space
- - Each page of memory can only be lent once
-
+ Each page of memory is mapped once
+ Services use well-defined API calls
+ Only stable Rust
+ No C compiler required
-
- MMUs are Amazing
-
- - XIP flash for free!
- - Swap space
- - Encrypted swap? No problem!
- - Realtime patching broken hardware
-
-