Zinnia: kernel POSIX escrito en Rust y arrancable desde UEFI
Zinnia es un kernel de código abierto desarrollado casi por completo en Rust, con el objetivo declarado de minimizar el uso de bloques unsafe siempre que sea posible. Implementa un conjunto amplio de llamadas al sistema conformes con POSIX e incorpora extensiones habituales en Linux y los BSD, como
