On 8/18/23, Jason Long via Devel wrote:

Hello,Is there an operating system that uses seL4 as a kernel and is suitable for home or server users like GNU/Linux or Windows OS?

I'm working on a QNX-like OS that is currently based on seL4, although I will very likely have to switch to a fork of it in the future because seL4 is pretty strongly focused on verification research and being a protected replacement for embedded unikernels rather than supporting a full Unix-like desktop OS (losing verification isn't a big deal for me because my user-level servers probably will be impractical to verify if such a thing is even possible at all). I'm planning to support compatibility with Linux drivers and applications once it is mature. Currently it doesn't really do anything useful though (not even run a shell). Still working on the IPC transport layer.