News: 0001572543

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

Genode OS 25.08 Introduces New Kernel Scheduler, Updates Linux Drivers

([Operating Systems] 88 Minutes Ago Genode OS Framework 25.08)


Version 25.08 of the Genode OS Framework has been released for this open-source operating system framework designed for software safety and security.

Genode OS 25.08 overhauls its kernel scheduler to better account for dynamic workloads on Sculpt OS, its general purpose operating system. The new kernel scheduler optimizes for fairness and latency.

Genode OS 25.08 also makes improvements to its block layer. For Genode's Linux device driver environments is also updating all of the leveraged Linux drivers against the upstream Linux 6.12 LTS upstream state.

Lastly, Genode OS 25.08 updates its seL4 micro-kernel support against the seL4 13.0 version.

More details on all of the Genode 25.08 operating system framework changes via [1]Genode.org .



[1] https://genode.org/documentation/release-notes/25.08


phoronix

=== ALL USERS PLEASE NOTE ========================

The garbage collector now works. In addition a new, experimental garbage
collection algorithm has been installed. With SI:%DSK-GC-QLX-BITS set to 17,
(NOT the default) the old garbage collection algorithm remains in force; when
virtual storage is filled, the machine cold boots itself. With SI:%DSK-GC-
QLX-BITS set to 23, the new garbage collector is enabled. Unlike most garbage
collectors, the new gc starts its mark phase from the mind of the user, rather
than from the obarray. This allows the garbage collection of significantly
more Qs. As the garbage collector runs, it may ask you something like "Do you
remember what SI:RDTBL-TRANS does?", and if you can't give a reasonable answer
in thirty seconds, the symbol becomes a candidate for GCing. The variable
SI:%GC-QLX-LUSER-TM governs how long the GC waits before timing out the user.