Piuttosto il termine framework per la costruzione di sistemi operativi — è questo il linguaggio preferito dagli autori di Genode Labs.
Questo costruttore di microkernel per sistemi operativi supporta diversi microkernel della famiglia L4, il kernel Muen e il proprio kernel minimalista base-hw.
I progetti sono disponibili sotto licenza AGPLv3 e, su richiesta, con licenza commerciale: https://genode.org/about/licenses
Il tentativo di creare una versione utilizzabile da chiunque oltre agli appassionati dello sviluppo di microkernel si chiama SculptOS: https://genode.org/download/sculpt
In questa versione:
- una revisione completa dello stack grafico (in futuro permetterà di riavviare senza problemi i driver in caso di malfunzionamento)
- miglioramenti nell'integrazione di Qt, che hanno permesso di portare parzialmente il browser Falkon (a dimostrazione della prontezza dell'OS per l'uso da parte degli utenti comuni)
- aggiornamenti del sottosistema di crittografia (scritto in SPARK/Ada!)
- aggiornamenti VFS
- e molte altre migliorie
Tra le caratteristiche di questo progetto si possono notare le seguenti:
- uso pervasivo di xml come formato di configurazione — che può suscitare idiosincrasie in alcuni commentatori
- livello esemplare nella redazione di release notes e documentazione: se tutti i progetti open source seguissero standard simili, la vita sarebbe semplice e straordinaria.
In generale, il progetto è soddisfacente con rilasci regolari, si sviluppa attivamente e in modo pianificato, e appare molto promettente come alternativa a GNU/Linux nel luminoso futuro delle microkernel. Purtroppo, l'assenza di un port di Emacs demotiva l'autore della notizia dal tentare di approfondire il progetto oltre la lettura della documentazione.
Fonte: linux.org.ru
