[thatguy27]

>is that even it's design purpose?

It is not. The closest thing you'll get to it that has the features you mention, is Qubes OS [0].

When it comes to the L4 family, Google's adoption of seL4 [1] might be interesting to you, and possibly L4Re [2] [3], which is open source (not their tooling, though) with commercial support.

Edit: there's a bunch more open source activity in this field, but I'm not familiar with it.

[0] https://www.qubes-os.org/

[1] https://opensource.googleblog.com/2022/10/announcing-kataos-...

[2] https://l4re.org/

[3] https://www.youtube.com/watch?v=x8jxINR-q40

[transpute]

Google Research, https://github.com/AmbiML/sparrow-manifest

> Sparrow is a project to build a low-power secure embeded platform for Ambient ML applications. The target platform leverages RISC-V and OpenTitan. The Sparrow software includes a home-grown operating system named CantripOS, that runs on top of seL4 and (ignoring the seL4 kernel) is written almost entirely in Rust.

> Archived on Jan 4 2024

[pjmlp]

Apparently they moved out of Github, https://github.com/AmbiML/we-moved

[thatguy27]

A pretty cool video on seL4 where they give the red team root access on a Linux VM running inside of seL4, which controls a helicopter.

https://www.youtube.com/watch?v=6s5FDX5PkZI

[thatguy27]

A few completely uncurated L4Re links:

https://github.com/kernkonzept/manifest/wiki#tutorials

https://l4re.org/rpi.html

https://l4re.org/doc/

https://www.youtube.com/watch?v=oqm6GOniQ_k

https://www.youtube.com/watch?v=WGjAxsEAWRI

[snvzz]

>QubesOS

Look into Makatea[0], a seL4-based QubesOS-like system.

0. https://trustworthy.systems/projects/makatea/

[katehikes88]

vaporware