+
+ Paying it Forward: Documenting Your Hardware Project
+ Approaches to documenting a hardware description language using lxsocdoc
+
+ Sean Cross - https://xobs.io/ - @xobs
+
+
+
+
+
+ Xous: Why another kernel?
+
+
+
+
+ Betrusted Goals
+
+
+
+
+ Rust: Safety, Speed, Concurrency
+
+
+
+
+ A Survey of Rust-based Operating Systems
+
+
+
+
+ Rust-based Operating Systems: Tock
+
+
+
+
+ Rust-based Operating Systems: Redox
+
+
+
+
+