Welcome to the new Linux Foundation Forum!

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.

Comments

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

  • @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.

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

Sign In or Register to comment.