chelmuth

5 ms·

1.
by chelmuth 8mo ago
Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
2.
by chelmuth 9mo ago
I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-)
3.
by chelmuth 1y ago
A list of Genode videos can be found at https://genode.discourse.group/t/collection-of-genode-video-...
4.
Call for Participation: Microkernel and Component-Based OS Devroom(lists.fosdem.org)
2 points by chelmuth 2y ago|0 comments
5.
by chelmuth 5y ago
This reaction does not explain your concerns. If anything it spreads FUD.
6.
by chelmuth 6y ago
Also some one started it with HoG (Haiku on Genode) https://discuss.haiku-os.org/t/genode-and-haiku/8384
7.
The ARM SoC Landscape from Genode's Perspective(genodians.org)
53 points by chelmuth 7y ago|5 comments
8.
by chelmuth 7y ago
(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
9.
by chelmuth 8y ago
Genode uses PCI MMCONFIG, so you have to use 'qemu -machine q35' not 'pc'.
10.
by chelmuth 14y ago
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.... ).
11.
by chelmuth 14y ago
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/