Operating system with the sel4 kernel?
 

Hi, everybody, I'm new. I've been searching the web for an operating system with the sel4 kernel and I didn't find anything. Just news about sel4 operating systems but for drones or something. My question is, is there a sel4 operating system for desktops? Thank you very much in advance.
Best regards.

Footnote: I already asked this question at the Linux Foundation but nobody knew how to answer me.

Edit:Or if there is a way to install the sel4 kernel on a Linux distribution. With some tutorial for beginners. Much appreciated in advance.

Welcome to LinuxQuestions.

linux is a monolithic kernel where as sel4 is a microkernel which are totally different and I am not surprised the Linux Foundation did not know how to answer you. Basically it is a minimal system but does not provide any operating system services.

https://en.wikipedia.org/wiki/Microkernel
https://en.wikipedia.org/wiki/Monolithic_kernel

Here are some operating systems that use a microkernel
https://en.wikipedia.org/wiki/Catego...rating_systems

Have you looked at the sel4 website? It is possible to run linux on top of sel4 but have no idea if there is a linux distribution out there yet.

https://sel4.systems/
https://docs.sel4.systems/GettingStarted