https://github.com/seL4/seL4/issues/487
Check out https://github.com/ansuz/RIIR/issues/ for more.
Gosh... and people on HN tell us that they have yet to meet a Rust fanatic. Just look around the GitHub Issues I linked.
---
BTW I stumbled upon https://github.com/r9os/r9 as well. Reading the source code, it is mainly unsafe blocks and assembly. :| Who would have thought?
Check out https://github.com/ansuz/RIIR/issues/ for more.
Gosh... and people on HN tell us that they have yet to meet a Rust fanatic. Just look around the GitHub Issues I linked.
---
BTW I stumbled upon https://github.com/r9os/r9 as well. Reading the source code, it is mainly unsafe blocks and assembly. :| Who would have thought?