chelmuth

Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD

I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-)

A list of Genode videos can be found at https://genode.discourse.group/t/collection-of-genode-video-...

This reaction does not explain your concerns. If anything it spreads FUD.

Also some one started it with HoG (Haiku on Genode) https://discuss.haiku-os.org/t/genode-and-haiku/8384

(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.

Genode uses PCI MMCONFIG, so you have to use 'qemu -machine q35' not 'pc'.

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....).

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/