What OSes other than Fuchsia are built on seL4? I'd like to try such an OS on a ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		qwerty456127 on Aug 31, 2021 \| parent \| context \| favorite \| on: RFC-0082: Runnning unmodified Linux programs on Fu... What OSes other than Fuchsia are built on seL4? I'd like to try such an OS on a PC, or a Raspberry Pi or in a VM.

snvzz on Aug 31, 2021 [–]

Fuchsia is not built on seL4.

Genode is, and should be reasonably easy to test on a regular PC, via bootable usb stick.

It can be quite confusing to use at first, as capabilities have GUI representation.

There's a blog[0] and some introductory video[1].

[0]: https://genodians.org/

[1]: https://youtu.be/vmgWgzeKAjU

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact