Genode 17.08

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. ...