5 ms·
>I don't really care what FreeRTOS's site says. And i dont care what you personal believe of a Kernel is. https://www.freertos.org/a00020.html https://www.fre
by nix23 6y ago
>I don't really care what FreeRTOS's site says.
And i dont care what you personal believe of a Kernel is.
https://www.freertos.org/a00020.html https://www.freertos.org/a00020.html
>Right so the code Genode provides is a userland. They don't have their own kernel but instead give you a selection of several third party kernels.
Like Debian right? The Kernel's are (where) Hurd, Linux and, kFreeBSD
>And no, Linux from scratch is very very close to CAmkES/Genode.
Ahh an Operating-system with Userland and a Kernel right?
>Fiasco needs something like Genode or L4RE
Something like...NO its called Userland and you can add them like in LFS.
- monocasa 6y ago> And i dont care what you personal believe of a Kernel is. > https://www.freertos.org/a00020.html https://www.freertos.org/a00020.html That's literally the documentation for what you can directly link against the kernel as a driver writer. That link if anything proves that it's not a microkernel. (By the way, you're talking to someone who's written a few FreeRTOS BSPs). > Like Debian right? The Kernel's are (where) Hurd, Linux and, kFreeBSD So wait, is Genode like Debian or not? You were fighting that just a comment ago.