Più precisamente, un framework per la creazione di sistemi operativi: questa è la terminologia preferita dagli autori di Genode Labs.
Questo progettista di sistemi operativi microkernel supporta diversi microkernel della famiglia L4, il kernel Muen e il proprio kernel minimalista base-hw.
Gli sviluppi sono disponibili sotto la licenza AGPLv3 e, su richiesta, una licenza commerciale: https://genode.org/about/licenses
Un tentativo di rendere un'opzione disponibile per l'uso da parte di qualcuno che non sia un appassionato di microkernel si chiama SculptOS: https://genode.org/download/sculpt
In questa versione:
- riprogettazione completa dello stack grafico (in futuro consentirà di riavviare i driver senza problemi in caso di guasto)
- miglioramenti nell'integrazione Qt, che hanno reso possibile il porting parziale del browser Falkon (che illustra abbastanza chiaramente il grado di preparazione per l'utilizzo del sistema operativo da parte della gente comune)
- aggiornamenti al sottosistema di crittografia (scritto in SPARK/Ada!)
- Aggiornamenti VFS
- e molti altri miglioramenti
Le caratteristiche di questo progetto includono quanto segue:
- uso diffuso di xml come formato di configurazione, che può causare idiosincrasia ad alcuni commentatori
- livello standard di scrittura delle note di rilascio e della documentazione: se tutti i progetti open source aderissero a standard simili, la vita sarebbe facile e sorprendente
In generale, il progetto piace con rilasci regolari, si sta sviluppando attivamente e sistematicamente e sembra molto promettente come alternativa a GNU/Linux in un brillante futuro del microkernel. Purtroppo, la mancanza di un port per Emacs demotiva l’autore della notizia dal cercare di conoscere gli sviluppi del progetto più a fondo che dalla lettura della documentazione.
Fonte: linux.org.ru