Genode OS 17.11 Reworks Its "Nitpicker" GUI Server

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...