Anzi, il framework per la creazione di sistemi operativi — è proprio questa la terminologia preferita dagli autori di Genode Labs.
Questo costruttore di microkernel supporta diversi microkernel della famiglia L4, il kernel Muen e il proprio kernel minimalista base-hw.
Le sviluppi sono disponibili sotto licenza AGPLv3 e, se desiderato, con licenza commerciale: https://genode.org/about/licenses
Il tentativo di realizzare una versione utilizzabile da chiunque oltre agli appassionati dello sviluppo di microkernel è noto come SculptOS: https://genode.org/download/sculpt
In questa release:
- una rivalutazione completa dello stack grafico (che in futuro permetterà di riavviare senza problemi i driver in caso di malfunzionamento)
- miglioramenti nell'integrazione con Qt, che hanno permesso di portare parzialmente il browser Falkon (cosa che illustra chiaramente il grado di prontezza all'uso del sistema operativo da parte degli utenti comuni)
- aggiornamenti al sottosistema di crittografia (scritto in SPARK/Ada!)
- aggiornamenti VFS
- e molti altri miglioramenti
Tra le caratteristiche di questo progetto, si può notare quanto segue:
- uso diffuso di XML come formato di configurazione — il che potrebbe suscitate delle riserve tra alcuni commentatori
- livello esemplare nella stesura delle note di rilascio e della documentazione — se tutti i progetti open source seguissero standard simili, la vita sarebbe facile e straordinaria
Nel complesso, il progetto è gratificante grazie a rilasci regolari, si sviluppa attivamente e in modo pianificato, e appare molto promettente come alternativa a GNU/Linux in un luminoso futuro microkernel. Purtroppo, l'assenza di un port di Emacs demotiva l'autore della notizia dal tentare di approfondire le realizzazioni del progetto oltre la lettura della documentazione.
Fonte: linux.org.ru
