Genode

  1,403 downloads
13.11 GPL (GNU General Public License)    
4.1/5 7
An operating system framework

description

download

1  

specifications

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
1  
Genode

0 User reviews so far.

SUBMIT