Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
genode-13.11.tar.bz2 | 2013-11-28 | 8.1 MB | |
README | 2013-11-28 | 1.1 kB | |
Totals: 2 Items | 8.1 MB | 0 |
Release notes summary for the version 13.11 The current release contains the following changes and new features: * Base framework * Dynamic resource balancing * C++11 enabled by default * Improved event tracing * Low-level OS infrastructure * Gigabit networking using the Linux TCP/IP stack * Improved nitpicker GUI server * New terminal services * New file-system server for hybrid Genode/Linux systems * New C-runtime plugin for accessing block devices * Device drivers * Graphics and USB HID for Raspberry Pi * HDMI for Samsung Exynos 5 * Applications and libraries * Qt5 with support for OpenGL and QML * New file systems based on FUSE * Port of DosBox * Runtime environments * Advanced GNU debugger features * ARM TrustZone support on Freescale i.MX53 * Platforms * Base-HW enabled for dynamic workloads * Lifetime management for kernel object on NOVA * Ballooning support for L4Linux running on Fiasco.OC Read the complete release documentation for the version 13.11 here http://genode.org/documentation/release-notes/13.11