Skip to content

Genode 15.05
Compare
Choose a tag to compare
@chelmuth chelmuth released this 26 May 08:45
· 10179 commits to master since this release
15.05
This tag was signed with the committer’s verified signature.
chelmuth Christian Helmuth
GPG key ID: 6CA92645A675B158
Learn about vigilant mode.
03bf8ed

Release notes summary for the version 15.05

The current release contains the following changes and new features:

  • 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

Read the complete release documentation for the version 15.05 here

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

Assets 2
Loading