Il framework del sistema operativo Genode estende i kernel esistenti (ad esempio, microkernel o hypervisor) e fornisce un'API uniforme per le applicazioni. Supporto kernel: L4ka::P istachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco e Linux (x86-32, x86-64)
cronologia delle versioni
- Versione 11.02 pubblicato il 2011-02-25
Diverse correzioni e aggiornamenti - Versione 11.02 pubblicato il 2011-02-25
Dettagli del programma
- Categoria: Sviluppo > Altro
- Editore: genode.org/
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 11.02
- Piattaforma: windows