Awesome! Gernot
> On 30 Aug 2017, at 22:50, Alexander Boettcher > <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
