Quote:
Originally Posted by rocket357
I'd be interested to see if that SoC is supported by OpenBSD in the future.
|
Quote:
Originally Posted by kamil
Odroid-C1? Of course it runs NetBSD!
|
Quote:
Originally Posted by kamil
Please don't change this topic to 'my system is better than yours'
|
You first.
As for sel4, of course you can mathematically prove a kernel where everything is in user-space. It even admits so much in the supported devices section of the FAQ:
https://sel4.systems/FAQ/#devices
"seL4, like any real microkernel, runs all device drivers in user mode, device support is therefore not the kernel's problem.
<snip>
Other than that, device support is the user's problem."