reword some things

Signed-off-by: Sean Cross <sean@xobs.io>
This commit is contained in:
Sean Cross 2024-04-17 16:42:16 +08:00
parent baf8a42bbb
commit dc237046dc

View File

@ -96,11 +96,20 @@
<section> <section>
<img data-src="img/a-r-m.png"> <img data-src="img/a-r-m.png">
</section> </section>
<section>
<h2>MMUs are Amazing</h2>
<ul>
<li>XIP flash for free!</li>
<li>Swap space</li>
<li>Encrypted swap? No problem!</li>
<li>Realtime patching broken hardware</li>
</ul>
</section>
<section> <section>
<h2>Operating System Selection</h2> <h2>Operating System Selection</h2>
<ul> <ul>
<li>MMU Required</li>
<li>RISC-V</li> <li>RISC-V</li>
<li>Memory Protection</li>
<li>Not Linux</li> <li>Not Linux</li>
<li class="fragment">Rust is a new thing?</li> <li class="fragment">Rust is a new thing?</li>
</ul> </ul>
@ -126,19 +135,11 @@
<ul> <ul>
<li>Microkernel</li> <li>Microkernel</li>
<li>Interrupts in userspace</li> <li>Interrupts in userspace</li>
<li>Each page of memory is mapped once</li>
<li class="fragment">Only <i>stable</i> Rust</li>
<li class="fragment">No C compiler required</li>
</ul>
</section>
<section>
<h2>More Specs</h2>
<ul>
<li>Kernel is single-threaded</li>
<li>Services use well-defined API calls</li>
<li>All drivers provided in user space</li> <li>All drivers provided in user space</li>
<li>Each page of memory can only be lent once</li> <li>Each page of memory is mapped once</li>
</ul> <li>Services use well-defined API calls</li>
<li class="fragment">Only <strong>stable</strong> Rust</li>
<li class="fragment">No C compiler required</li>
</ul> </ul>
</section> </section>
<section> <section>
@ -172,15 +173,6 @@
</ol> </ol>
</section> </section>
<section>
<h2>MMUs are Amazing</h2>
<ul>
<li>XIP flash for free!</li>
<li>Swap space</li>
<li>Encrypted swap? No problem!</li>
<li>Realtime patching broken hardware</li>
</ul>
</section>
<section> <section>
<h2>How can I use it?</h2> <h2>How can I use it?</h2>
<div class="r-hstack"> <div class="r-hstack">