Genode 17.08 Mise à jour
Genode est un framework de système d'exploitation open source qui étend les noyaux existants (par exemple, microkernel ou hyperviseur) et fournit une API uniforme pour les applications. Actuellement, L4 / Fiasco et Linux sont pris en charge. ...