Genode OS Framework release 17.11

The current release lacks one shiny major feature but instead brings many small improvements regarding the interactive use of Genode. Driven by our endeavor to use Genode as secure and robust working platform in the Genode Labs team, we smoothened great many rough edges. On the path, the system got a completely revised GUI and input stack, a dynamic driver manager, and over 150 packaged depot archives. The package management represents the key to easy deployment and update in the future.

Notable side paths are the update of seL4 to version 7.0, the enablement of MMU-based thread mitigation on kernels/platforms that support NX/SMAP/SMEP, the option to boot Genode directly via UEFI and GRUB2, and the further cultivation of the Nim programming language.

All changes in Genode 17.11 are documented in detail at https://goo.gl/FYvykN