Genode

Genode 17.08 updated

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.What is new in this release:Hardware-accelerated...