ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

News item for Genode 15.05

Browse Source
This commit is contained in:
Norman Feske 2015-05-26 10:29:22 +02:00 committed by Christian Helmuth
parent a26d4827eb
commit f0e9cead0c
1 changed files with 40 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
doc/news.txt
View File

@ -4,6 +4,46 @@
===========
Genode OS Framework release 15.05 | 2015-05-26
##############################################
| For the first time, a Genode release is accompanied by a book.
| Further highlights of the current release are vast improvements of our
| base-hw kernel, preliminary support for the seL4 microkernel, new
| device-driver infrastructure, and plenty of new device drivers.
With version 15.05, we equip Genode users with comprehensive documentation
in the form of the free book "Genode Foundations". The book covers the
architecture in great detail, assists developers with the explanation of the
development environment and system configuration, and provides insights behind
the scenes of the framework. Furthermore, the book contains the specification
of the framework's programming interfaces.
Besides the documentation, the second highlight of the release is the base-hw
kernel, which enables the execution of Genode without a 3rd-party microkernel.
Our kernel, originally designed for the ARM architecture, has become able
to run on the 64-bit x86 architecture, it received support for
kernel-protected capabilities, and its scheduler got much more flexible.
Even though we invest a lot of work in our custom kernel, the biggest
strength of Genode is its ability to leverage the benefits of different
kernels. With the current release, we introduce preliminary support to run
simple system scenarios on top of the seL4 microkernel. With seL4, there
is now the prospect of running Genode on top of a formally verified kernel.
At the framework's architectural level, we took the opportunity to
redesign the infrastructure for user-level device drivers. With this
release, device drivers become subjected to rigid access control with respect
to hardware resources. Along with this architectural change, there are
massive improvements of the device driver support. There is a new AHCI
driver, new audio drivers ported from OpenBSD, new SD-card drivers,
added platform support for i.MX6, and support for message-signalled interrupts
on x86-based machines.
A detailed description of all the improvements is provided by the
[http:/documentation/release-notes/15.05 - release documentation of version 15.05...]
Genode's core running on the seL4 kernel | 2015-05-18
#####################################################