Operating system with the sel4 kernel?

paranoid

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.

dday35216

I know that sel4 has been loaded onto a Raspberry Pi 3 before. That's about all I know about it

paranoid

@dday35216 said:
I know that sel4 has been loaded onto a Raspberry Pi 3 before. That's about all I know about it

Thank you very much for your response! I will wait to see if any other user can offer more information.
Best regards.

paranoid

Any other users who can guide me? Thank you very much in advance.

paranoid

No news, there are still no Linuex distributions with the sel4 kernel? Thank you very much in advance. Best regards.