Speaker notes about TockOS and FreeRTOS.

This commit is contained in:
Andrew Walbran
2023-03-20 14:26:57 +00:00
parent e123c08b00
commit 84cd822080
@@ -20,5 +20,7 @@
* It uses the Cortex-M NVIC (Nested Virtual Interrupt Controller) for scheduling rather than a * It uses the Cortex-M NVIC (Nested Virtual Interrupt Controller) for scheduling rather than a
proper kernel. proper kernel.
* Cortex-M only. * Cortex-M only.
* Google uses TockOS on the Haven microcontroller for Titan security keys.
* FreeRTOS is mostly written in C, but there are Rust bindings for writing applications.
</details> </details>