---

Meet GENODE, a Framework to Create Operating Systems

Genode OS Framework is a toolkit for building highly secure special-purpose operating systems written in C++. It scales from embedded systems with as little as 4MB of memory to highly dynamic general-purpose workloads.