diff --git a/src/bare-metal/microcontrollers/other-projects.md b/src/bare-metal/microcontrollers/other-projects.md
index 92f7aee8..d653c93e 100644
--- a/src/bare-metal/microcontrollers/other-projects.md
+++ b/src/bare-metal/microcontrollers/other-projects.md
@@ -20,5 +20,7 @@
    * It uses the Cortex-M NVIC (Nested Virtual Interrupt Controller) for scheduling rather than a
      proper kernel.
    * 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>