xobs/fa20-bt
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

theme: fill in some more fossasia theme

Browse Source 
Signed-off-by: Sean Cross <sean@xobs.io>
This commit is contained in:
Sean Cross
2020-03-12 10:08:26 +08:00
parent b69e4f4e69
commit ab5a18c345
8 changed files with 250 additions and 89 deletions
Download Patch File Download Diff File Expand all files Collapse all files

97
index.html
View File

@ -39,9 +39,10 @@
<!-- Start of main presentation -->
<div class="reveal">
<div class="footer">
<span class="theme">FOSSASIA Summit 2020</span>
<a class="url" href="https://p.xobs.io/fa20-bt/">p.xobs.io/fa20-bt</a>
<span class="theme">Who’s Watching</span><span class="hashtag"> | #LCA2020</span><span class="twitter"> |
@linuxconfau</span>
<span class="hashtag">#fossasia</span>
<!-- <span class="twitter">@fossasia</span> -->
</div>
<div class="commentary"></div>
<div class="slides">
@ -62,15 +63,19 @@
<section>
<section>
<h2>Xous: Why another kernel?</h2>
<h2>Xous: A Betrusted OS</h2>
<img data-src="img/tire_photo.jpg" class="fragment">
<aside class="notes">
A big question that gets asked is -- why another kernel? Why don't we just
put Linux on it and be done with it? Or something else like Minix, TockOS,
or FreeRTOS?
Much like this tire here, which is innovative in that it is airless, by
developing our own operating system we can achieve these goals, in addition
to creating some interesting new technology.
</aside>
</section>
<section>
<h2>Betrusted Goals</h2>
<ol style="width: 100%;">
@ -155,7 +160,7 @@
<h2>Felix' Rule of Thumb</h2>
<table>
<tr>
<td style="width: 400px;">
<td style="width: 380px;">
<img data-src="img/Cthulhu_sketch_by_Lovecraft.jpg">
</td>
<td>
@ -180,7 +185,7 @@
<table width="100%">
<tr>
<td style="text-align: right">
<img width="80%" class="fragment"
<img width="75%" class="fragment"
data-src="img/Rust_programming_language_black_logo.svg">
</td>
<td valign="top" width="50%">
@ -227,7 +232,7 @@
<table>
<tr>
<td colspan="2" style="text-align: center;">
<img height="250px" data-src="img/os/tockos.svg">
<img height="250px" data-src="img/tockos.svg">
</td>
</tr>
<tr style="font-size: 24pt">
@ -269,7 +274,7 @@
<table>
<tr>
<td colspan="2" style="text-align: center;">
<img height="250px" data-src="img/os/Redox_logo_2015.svg">
<img height="250px" data-src="img/Redox_logo_2015.svg">
</td>
</tr>
<tr style="font-size: 24pt">
@ -369,35 +374,6 @@
</section>
<section>
<h2>Betrusted Goals</h2>
<ul>
<li>&lt;=4 MB RAM</li>
<li>Process Isolation</li>
<li>Safe language</li>
<li class="fragment">Microkernel</li>
</ul>
<aside class="notes">
With Betrusted, we wanted to reduce the code footprint. This will allow
us to run with less RAM -- ideally 4 MB or less. We also wanted to have
a full MMU, which is somewhat unusual in the embedded microcontroller
space, where a more limited Memory Protection Unit is preferred.
We would like to have full process isolation, so even if one process is
compromised, attackers will have a harder time boring through the system
to gain a more complete takeover.
Therefore, we would like Betrusted to run a Microkernel-style operating
system, with "servers" that provide features such as the display,
keyboard, and even basic task switching. These should all run in
userspace with the bare minimum permissions required to get the job done.
Finally, we would like to have the operating system written in a safe
systems language.
</aside>
</section>
<section>
<section>
<h2 style="margin-top: 25%;">Xous: System Design</h2>
<aside class="notes">
@ -425,11 +401,10 @@
</ul>
</li>
</ul>
<a style="margin-top: auto; font-size: 12pt;"
href="https://www.flickr.com/people/9337414@N05">Image CC-BY Tammy</a>
</td>
</tr>
</table>
<a style="font-size: 12pt;" href="https://www.flickr.com/people/9337414@N05">Image CC-BY Tammy</a>
<aside class="notes">
Xous will base its memory model on the Rust borrow checker. That is,
shared memory will be used for IPC. If one process wishes to get a
@ -544,43 +519,17 @@
</section>
</section>
<section data-background-image="img/sw/renode.png">
<table style="width:100%">
<tr>
<td width="33%" valign="top">
<img class="fragment" data-src="img/os/betrusted.gif" height="100%">
</td>
<td width="10%" align="center">
&nbsp;
</td>
<td width="53%" align="center">
<br />
<br />
<br />
<br />
<ul class="boldblue white50bg">
<li class="fragment">CI</li>
<li class="fragment">Simulation</li>
<li class="fragment">On Target</li>
<li class="fragment">UI Robot</li>
</ul>
</td>
</tr>
</table>
<aside class="notes">
We plan to support Continuous Integration using Renode<br />
<br />
*.cs (defines simulated hardware)<br />
LiteX -> Lxsocdoc -> SVD -> Renode (annotations register access)<br />
Rust -> ELF (software) <br />
*.repl (defines renode platform, loads *.cs, *.svd, ELF)<br />
*.resc (defines renode script - orchestrates everything)<br />
<section>
<section>
<h2>Developing Xous</h2>
<aside class="notes">
Xous is developed using Renode, which is an amazing
emulation platform. It's cross-platform, and is very
easy to get started with.
</aside>
And, as a following pipeline step, running on prototype hardware <br />
Ideally with automated UI testing<br>
</aside>
</section>
</section>
</div>
</div> <!-- class="reveal" -->
<!-- End of main presentation -->