Genode

13.11 GPL (GNU General Public License)    
4.1/5 7

  1,401 downloads

An operating system framework

description

download

specs

changelog

Genode is an open source operating system framework that extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications.

Currently, L4/Fiasco and Linux are supported.
read more   
Last updated on November 29th, 2013

#operating system framework #extend kernel #uniform API #OS #kernel #framework #API

Genode

0 User reviews so far.

SUBMIT