Both seL4 and Fiasco are microkernel names, not full OSes built on those 'kernels, I was asking about OSes. IOW, AFAIU neither seL4 nor Fiasco provide clock or Ethernet drivers for RPi4. Or do they?
As to FreeRTOS, people seem to mention it's not really microkernel-based at all? I am interested in proper isolation, so that a crashed filesystem driver can be restarted without taking down other independent drivers, or unloaded completely on the fly. I will take look on it, from wikipedia alone it's not yet clear to me if it has this feature. Thanks for the mention!
Also, Genode is a user land. Saying Genode and sel4/fiasco is like saying Debian _and_ Linux.
>Also, Genode is a user land.
No it's a operating system framework, and every kernel they provide is a micro-kernel.
> Saying Genode and sel4/fiasco is like saying Debian _and_ Linux.
Debian is a Distribution, Linux is a Kernel, you could have said Gnu/Linux and you where less wrong, but your comment is utter bullshit and full of flaws, with my links seL4 and fiasco you have a "fully" working system, reading your comment it's like saying that Linux from scratch is just a kernel.
I don't really care what FreeRTOS's site says. There's no way to ship a FreeRTOS implementation that doesn't link the drivers (and the user application for that matter) directly into the kernel. It's not a microkernel, but stems from an era when microkernel was such a buzzword people tried to apply the term to operating systems that didn't even have processes. I think they were thinking that if early VXWorks got to call themselves a microkernel then FreeRTOS gets to as well.
> No it's a operating system framework, and every kernel they provide is a micro-kernel.
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.
> your comment is utter bullshit and full of flaws
Please keep your comments civil.
> with my links seL4 and fiasco you have a "fully" working system, reading your comment it's like saying that Linux from scratch is just a kernel.
No, you don't have a '"fully" working system'. seL4 for instance needs something like Genode or CAmkES to get there. seL4 in it's verified mode doesn't even have any I/O in it's codebase (and unverified only provides a debug UART). Fiasco needs something like Genode or L4RE.
And no, Linux from scratch is very very close to CAmkES/Genode. It'd be almost a 1-1 if Linux from scratch had a more standard build system across it's components.
And i dont care what you personal believe of a Kernel is.
>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.
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.
The BDFL seems to mainly work on x86 (he's at System76, and I don't think they have any ARM offerings at the moment), so not sure how much of a priority that is at the moment.
This is slightly off topic, but I'd love if System76 were to partner with Pine64 to produce consumer level products based on their designs.
I would love a S76 PinePhone for example, or if they were to do a take on the Pinebook Pro for an affordable laptop.
But what do you want with Redox? It's the "80% OS form the 80%-Dudes"…
Pure waste of time even looking at it. Besides broad climes wrapped in marketing-BS-speech there is more or less nothing that works.
Even GNU/Hurd is more usable! ;-) (Only that there is no ARM port of Hurd afaik).