3 ms·
Is there a practical microkernel-based OS (other than Debian GNU/Hurd or such) for PC, or any end-user device for that matter? I know there's L4 which is prett
by dancek 10y ago
Is there a practical microkernel-based OS (other than Debian GNU/Hurd or such) for PC, or any end-user device for that matter?
I know there's L4 which is pretty mainstream on coprocessors.
- cturner 10y agoQnx. Although they discontinued it as a desktop os. The ui was nice, but no doubt had maintenance overhead. Minix 3. The rise of platforms like Raspberry Pi are good for alt-os projects because they give a well-fenced compatibility target.