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.
Last edited by parano-ID; 02-28-2020 at 08:06 AM.
|