I'd love if I was able to run redox or some other microkernel-based open-source OS on my Raspberry Pi 4... Does anyone know if there's any? edit: ideally with working net, WiFi would be best but I can live with cable.
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!
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.
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.
I don't believe Redox fits the bill for this--so far, the kernel is only written to support x86 architectures at the moment. I do think there's been a couple of Redox Summer of Code students who have been funded to work on porting it to ARM over the last couple of years, although I don't think they've pushed it over the goal line.
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.
Why are you even interested in Operating Systems with that attitude? Just use Windows and MacOS and leave other peoples use what they wanna use or produce.
