From dc237046dc5096ddba60fbda53f7506707a0c294 Mon Sep 17 00:00:00 2001 From: Sean Cross Date: Wed, 17 Apr 2024 16:42:16 +0800 Subject: [PATCH] reword some things Signed-off-by: Sean Cross --- index.html | 36 ++++++++++++++---------------------- 1 file changed, 14 insertions(+), 22 deletions(-) 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
    • @@ -172,15 +173,6 @@
    -
    -

    MMUs are Amazing

    -
      -
    • XIP flash for free!
      • -
    • Swap space
      • -
    • Encrypted swap? No problem!
      • -
    • Realtime patching broken hardware
      • -
    -

    How can I use it?