Un système d'exploitation écrit en ADA et formellement vérifié avec SPARK.

Un système d'exploitation écrit en Rust, compatible avec les architectures de processeur ARM32, ARM64, RISCV32 et RISCV64.

Le système d'exploitation libre Unix-Like écris en rust.

Système d'exploitation prouvé open-source

Ha ha, il manquerait plus que Zephyr soit porté sur appolo lake pour que la confusion soit complète ;)

Les solutions d'OS opensource pour l'internet des objets

Bon en fait c'est juste une couche à Linux, comme la plupart.

Un «système d'exploitation» orienté machine d'état, pour microcontrôleur.