Unfortunately Genode support for RPi 3 seems to be not yet in a working state, and even then I don't know how much it would translate to RPi 4; see: https://gi

Unfortunately Genode support for RPi 3 seems to be not yet in a working state, and even then I don't know how much it would translate to RPi 4; see: https://github.com/genodelabs/genode/issues?q=is%3Aissue+is%3Aopen+raspberry https://github.com/genodelabs/genode/issues?q=is%3Aissue+is%... 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!