Hello everyone,
I'm pleased to share the release announcement of Genode 25.08 with you:
https://genode.org/news/genode-os-framework-release-25.08
Adhering to this year's leitmotif "rigidity, clarity, performance", the
release is primarily focused on optimization work, code rigidity, and
scalability improvements. A new kernel scheduler that was especially
designed for the user experience of Sculpt OS stands out as a project
that has been in the works over a time span of 1.5 years, incorporating
scheduling theory, simulating the effects of experimental ideas,
attaining a low-complexity implementation in the kernel, and addressing
system-integration concerns.
Two other lines of work pursued in similar a long-term fashion are the
stepwise unlocking of more and more dynamic system scenarios on the seL4
kernel, and the holistic optimization of the framework's block-storage
stack. Furthermore, we have updated the arsenal of all Linux-based PC
drivers to Linux version 6.12, letting our users combine microkernel
architecture with the excellent hardware support of the up-to-date Linux
kernel.
As a personal highlight, I'm overly happy that my ambition to
practically evaluate the move away from XML goes according to plan. The
new version provides the hybrid support for both XML and the proposed
"human-readable data" syntax. So we can now switch back-and-forth
between both formats, gather practical experience, while acquiring a
taste for the potential alternative.
The highlights of the Genode 25.08 at a glimpse:
- New kernel scheduler for fairness and low latency
- Holistic block-storage stack optimizations
- Linux-based PC and Zynq drivers updated to kernel version 6.12
- Syntax-agnostic API for configuration and reporting
- Human-readable data as XML alternative
- VirtualBox6 EFI support and multi-monitor improvements
- Preliminary support for POSIX AIO
- seL4 scalability improvements and update to kernel version 13.0
Find theses and more topics detailed in the release documentation:
https://genode.org/documentation/release-notes/25.08
Best regards
--
Dr.-Ing. Norman Feske
Genode Labs
https://www.genode-labs.com · https://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/E2N5FAXXN2MPQNXCRI6OYTJE7J4OD3LD/
