Viewing profile — 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 w…

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/s…

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/…