Skip to content

Genode 19.05
Compare
Choose a tag to compare
@chelmuth chelmuth released this 29 May 09:05
· 4833 commits to master since this release
19.05
This tag was signed with the committer’s verified signature.
chelmuth Christian Helmuth
GPG key ID: A724603417ECD6B7
Learn about vigilant mode.
24a3eea

Release notes summary for the version 19.05

The current release contains the following changes and new features:

  • Kernel-agnostic virtualization interface
  • Initial support for the 64-bit ARM architecture
  • New tool chain based on GCC 8.3.0 and binutils 2.32
  • Updated C and SPARK runtimes
  • Build directories shared across different boards
  • Improved kernel support for Muen, NOVA, seL4, Fiasco.OC
  • Performance optimization of the base-hw kernel
  • Logging for distributed Genode systems
  • Updated Zynq and Intel network drivers
  • Ability to run Tomcat and Spring on OpenJDK

Read the complete release documentation for the version 19.05 here

https://genode.org/documentation/release-notes/19.05

Assets 2