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.
Summary:
- 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:
https://genode.org/documentation/release-notes/19.11
I wish you a lot of fun with exploring the new version!
Norman