Welcome to the Linux Foundation Forum!

Operating system with the sel4 kernel?

paranoid
paranoid Posts: 4
in New to Linux

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

  • dday35216
    dday35216 Posts: 71

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

  • paranoid
    paranoid Posts: 4

    @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
    paranoid Posts: 4

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

  • paranoid
    paranoid Posts: 4

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

Categories

Upcoming Training