Get the latest tech news
Genode OS is a tool kit for building highly secure special-purpose OS
About 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.
None
Or read this on Hacker News