Genode
Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers, system services, and applications.
Source: Wikipedia
Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.