Tool kit for building highly secure special-purpose operating systems
*** Genode migrated to https://github.com/genodelabs/genode ***
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.
Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and...
Highly research oriented operating system attempting to explore the limits of asynchronous communications. Some of the basic ideas of the system are based on Erlang and Python. The core of the system is written in assembly for x86.