Genode

An innovative OS that enforces a strict organizational structure to all software components including device drivers and system services.