Genode is the open-source operating system framework designed for “highly secure” special-purpose operating systems from embedded platforms to desktops while subscribing to a Unix philosophy and going for an L4 micro-kernel approach. The Genode OS 17.11 represents another quarter’s worth of changes…

Source: Phoronix – Genode OS 17.11 Reworks Its “Nitpicker” GUI Server