Announcement: Genode OS Framework version 15.05 released

[Norman F. <nor...@ge...>]

I am happy to announce the version 15.05 of the Genode OS Framework,
which represents the most comprehensive release in our history. Its most
visible feature is a completely new written documentation in book form.
On the technical side, the highlights of the release are:

  - Comprehensive architectural documentation
  - Feature completion of the our custom kernel
    - Kernel-protected capabilities
    - Principal support for the 64-bit x86
    - Dynamic thread weights
  - Revised device-driver infrastructure
  - Device drivers
    - New AHCI driver
    - Multi-touch support
    - Audio drivers ported from OpenBSD
    - SD-card drivers for i.MX53 and Raspberry Pi
    - Board support for i.MX6-based Wandboard
  - Support for GPT partitions
  - Proof-of-concept support for the seL4 kernel
  - NOVA kernel mechanism for signals
  - Tool chain updated to GCC 4.9.2 and binutils 2.25

These and many more improvements are described in the release documentation:

  http://genode.org/documentation/release-notes/15.05

Best regards
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

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

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