Meet GENODE, a Framework to Create Operating Systems
By
Marcos Oliveira
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.