chelmuth
Re:Kernel bugs hide for 2 years on average. Some hide for 20
on Wednesday January 21, 2026 @06:31AM (#46704161)
Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
Re:Kernel bugs hide for 2 years on average. Some hide for 20
on Tuesday January 13, 2026 @02:16AM (#46598135)
I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-)
Re:Genode OS Framework
on Friday September 26, 2025 @09:23AM (#45386237)
A list of Genode videos can be found at https://genode.discourse.group/t/collection-of-genode-video-...
Re:Genode OS Framework release 22.02
on Wednesday March 02, 2022 @06:37AM (#30526188)
This reaction does not explain your concerns. If anything it spreads FUD.
Re:Haiku R1/beta2 has been released
on Wednesday June 10, 2020 @07:51AM (#23476039)
Also some one started it with HoG (Haiku on Genode) https://discuss.haiku-os.org/t/genode-and-haiku/8384
The ARM SoC Landscape from Genode's Perspective
Re:Containers in 2019: They're Calling It a Hypervisor Comeback
on Monday October 28, 2019 @03:29AM (#21374958)
(original Genode dev here)
You nailed it: From day 2 or so we imagined to develop Genode as the future common API for the diverse range of microkernels and showcased the approach with all L4 kernels we could get our hands on. The vision is still to provide a replacement for POSIX in the microkernel world ;-)
Regarding POSIX, we don't think that tools and applications developed for this interface do not fit the microkernel world but on the traditional systems level POSIX (and its tools) is not sufficient to make the best of out of the microkernel advantages. For example, we run libcurl, GPG, libarchive, and coreutils in an orchestrated scenario to implement a robust and secure deployment/installation subsystem in the Genode-based Sculpt OS https://genode.org/documentation/articles/sculpt-19-07.
Re:Genode OS: A tool kit for highly secure special-purpose operating s...
on Tuesday January 22, 2019 @02:25AM (#18966617)
Genode uses PCI MMCONFIG, so you have to use 'qemu -machine q35' not 'pc'.
Re:We Need More Operating Systems
on Thursday January 03, 2013 @08:24AM (#5002196)
It is not only QNX, but also research of the last two decades shows that microkernels are not doomed to be slow. Examples are L4 and Nova (http://os.inf.tu-dresden.de/papers_ps/steinberg_eurosys2010....).
Re:We Need More Operating Systems
on Thursday January 03, 2013 @08:16AM (#5002171)
From my understanding of your paragraphs about "privilege model" and "file systems", Genode is a candidate you may have a look at: http://genode.org/documentation/general-overview/