| >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 |
> 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