Tools to build Genode OS Framework
The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. See https://genode.org/ for details. This project contains tools necessary to build Genode OS Framework.