News for hackers. Stuff that matters.
Re:SeL4 Device Driver Framework 0.4.0 by transpute on Tuesday April 09, 2024 @10:14AM (#39979653)
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

Re:SeL4 Device Driver Framework 0.4.0 by pjmlp on Tuesday April 09, 2024 @11:41AM (#39980625)
Apparently they moved out of Github, https://github.com/AmbiML/we-moved
Re:SeL4 Device Driver Framework 0.4.0 by transpute on Wednesday April 10, 2024 @05:05PM (#39995709)
Thank you.