Genode OS Framework release 17.08

With the fresh release, we publish the outcome of our long-term investigation of hardware-accelerated graphics on modern Intel platforms that we conducted over the past year. As a result, Genode comes now with a brand new GPU multiplexer for Intel-Gen8 graphics hardware and an updated OpenGL stack with Qt5 and SDL integration. Further, we improved the seL4 microkernel platform support with an update to version 6.0. seL4 can now be used on x86 32-bit and 64-bit as well as the ARMv7 Wandboard. We also added preliminary UEFI support, non-blocking VFS operation, Genode as Xen DomU, and much more.

The extensive release documentation of Genode 17.08 can be found at https://goo.gl/BikpXc