The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs. 
<BR><BR>
Genode allows the kernel to use
device drivers, protocol stacks, libraries, and applications in a uniform way. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

Genode - Operating System Framework

Discover open source projects across all platforms

Projects

Genode - Operating System Framework

TechStack

Tagcloud

License

Suggested keywords:

Projects

Genode - Operating System Framework

TechStack

Tagcloud

License