Welcome to the 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.

Welcome!

It looks like you're new here. Sign in or register to get started.
Sign In

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.

  • Posts: 4

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

Welcome!

It looks like you're new here. Sign in or register to get started.
Sign In

Welcome!

It looks like you're new here. Sign in or register to get started.
Sign In

Categories

Upcoming Training