5 ms·

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

>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/ https://www.qubes-os.org/ [1] https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html https://opensource.googleblog.com/2022/10/announcing-kataos-... [2] https://l4re.org/ https://l4re.org/ [3] https://www.youtube.com/watch?v=x8jxINR-q40 https://www.youtube.com/watch?v=x8jxINR-q40

thatguy27 2y ago
A few completely uncurated L4Re links: https://github.com/kernkonzept/manifest/wiki#tutorials https://github.com/kernkonzept/manifest/wiki#tutorials https://l4re.org/rpi.html https://l4re.org/rpi.html https://l4re.org/doc/ https://l4re.org/doc/ https://www.youtube.com/watch?v=oqm6GOniQ_k https://www.youtube.com/watch?v=oqm6GOniQ_k https://www.youtube.com/watch?v=WGjAxsEAWRI https://www.youtube.com/watch?v=WGjAxsEAWRI
thatguy27 2y ago
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 https://www.youtube.com/watch?v=6s5FDX5PkZI
transpute 2y ago
Google Research, https://github.com/AmbiML/sparrow-manifest 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 2y ago
  Apparently they moved out of Github, https://github.com/AmbiML/we-moved https://github.com/AmbiML/we-moved
  - transpute 2y ago
    Thank you.
snvzz 2y ago
>QubesOS Look into Makatea[0], a seL4-based QubesOS-like system. 0. https://trustworthy.systems/projects/makatea/ https://trustworthy.systems/projects/makatea/
- katehikes88 2y ago
  vaporware

thatguy27 2y ago

A few completely uncurated L4Re links: https://github.com/kernkonzept/manifest/wiki#tutorials https://github.com/kernkonzept/manifest/wiki#tutorials https://l4re.org/rpi.html https://l4re.org/rpi.html https://l4re.org/doc/ https://l4re.org/doc/ https://www.youtube.com/watch?v=oqm6GOniQ_k https://www.youtube.com/watch?v=oqm6GOniQ_k https://www.youtube.com/watch?v=WGjAxsEAWRI https://www.youtube.com/watch?v=WGjAxsEAWRI

thatguy27 2y ago

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 https://www.youtube.com/watch?v=6s5FDX5PkZI

transpute 2y ago

Google Research, https://github.com/AmbiML/sparrow-manifest 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 2y ago
Apparently they moved out of Github, https://github.com/AmbiML/we-moved https://github.com/AmbiML/we-moved
- transpute 2y ago
  Thank you.

snvzz 2y ago

>QubesOS Look into Makatea[0], a seL4-based QubesOS-like system. 0. https://trustworthy.systems/projects/makatea/ https://trustworthy.systems/projects/makatea/

katehikes88 2y ago
vaporware