Awesome!

Gernot

On 30 Aug 2017, at 22:50, Alexander Boettcher alexander.boettcher@genode-labs.com wrote:

Hello,

we're happy to announce the version 17.08 of the Genode OS Framework.

Within the last release cycle (3-months) we upgraded our Genode/seL4 support from kernel version 3.2.0 to 6.0.0, enabled x86_64 and ARM support, added UEFI support to the seL4 kernel and enabled SMP for x86.

A summary of changes and features are:

• Hardware-accelerated graphics for Intel Gen-8 GPUs
• The seL4 6.0 kernel on ARM and 64-bit x86 hardware
• Genode as Xen DomU
• Preliminary UEFI support for NOVA, base-hw, and seL4
• New server for capturing reports to files
• New runtime for the sequential execution of components
• Support for boot-time initialized frame buffer
• FatFS-based VFS plugin
• Extended non-blocking operation of the VFS
• Refined time handling
• Updated Muen separation kernel

The long version of the official release documentation:

https://genode.org/documentation/release-notes/17.08

All the best,

-- Alexander Boettcher Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

---

Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel