Plus précisément, un framework pour construire des systèmes d'exploitation - c'est la terminologie préférée par les auteurs de Genode Labs.
Ce concepteur de système d'exploitation de micro-noyau prend en charge plusieurs micro-noyaux de la famille L4, le noyau Muen et son propre noyau matériel de base minimaliste.
Les développements sont disponibles sous licence AGPLv3 et, sur demande, sous licence commerciale : https://genode.org/about/licenses
Une tentative visant à rendre une option disponible pour une utilisation par quelqu'un d'autre que les passionnés du micro-noyau s'appelle SculptOS : https://genode.org/download/sculpt
Dans cette version :
- refonte complète de la pile graphique (à l'avenir elle permettra de redémarrer les pilotes sans problème en cas de panne)
- améliorations de l'intégration de Qt, qui ont permis de porter partiellement le navigateur Falkon (ce qui illustre assez clairement le degré de préparation à l'utilisation de l'OS par les gens ordinaires)
- mises à jour du sous-système de chiffrement (écrites en SPARK/Ada !)
- Mises à jour VFS
- et bien d'autres améliorations
Les caractéristiques de ce projet sont les suivantes :
- utilisation généralisée du XML comme format de configuration - ce qui peut provoquer des idiosyncrasies chez certains commentateurs
- niveau standard de rédaction de notes de version et de documentation - si tous les projets open source adhéraient à des normes similaires, la vie serait facile et étonnante
En général, le projet se contente de versions régulières, se développe activement et systématiquement et semble très prometteur comme alternative à GNU/Linux dans un avenir prometteur pour le micro-noyau. Hélas, l’absence de portage Emacs décourage l’auteur de la nouvelle d’essayer de connaître les développements du projet plus en profondeur que de lire la documentation.
Source: linux.org.ru