Announcement: Genode OS Framework version 19.11 released

Norman Feske norman.feske at
Thu Nov 28 11:55:44 CET 2019

We just released the version 19.11 of the Genode OS Framework.

The highlights of this version are the prototype of a custom
block-device encrypter implemented in SPARK, virtualization of 64-bit
ARM platforms, new tooling especially geared towards the porting and
development of application software, and much improved POSIX compatibility.


- New (preliminary) block-device encryptor
- New virtualization of 64-bit ARM platforms
- New tooling for application development
- Enhanced POSIX compatibility
- More supported Intel wireless devices
- Multi-core 64-bit ARM
- Self-hosting on 64-bit ARM

The background stories and technical details of those topics are covered
in depth by our release documentation:

I wish you a lot of fun with exploring the new version!


Dr.-Ing. Norman Feske
Genode Labs ·

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

More information about the users mailing list