Mention FreeRTOS bindings and Hubris.

This commit is contained in:
Andrew Walbran
2023-03-20 14:26:57 +00:00
parent 40d590b594
commit e123c08b00
@@ -7,7 +7,11 @@
* `async` executors with priorities, timers, networking, USB
* [TockOS](https://www.tockos.org/documentation/getting-started)
* Security-focused RTOS with preemptive scheduling and Memory Protection Unit support
* Some platforms have `std` implementations, e.g. esp-idf.
* [Hubris](https://hubris.oxide.computer/)
* Microkernel RTOS from Oxide Computer Company with memory protection, unprivileged drivers, IPC
* [Bindings for FreeRTOS](https://github.com/lobaro/FreeRTOS-rust)
* Some platforms have `std` implementations, e.g.
[esp-idf](https://esp-rs.github.io/book/overview/using-the-standard-library.html).
<details>