That’s really cool, I’ve been meaning to build a project like this so I'll definitely check it out!!
Cheers, Tim Flichy On Sat, Aug 20, 2022 at 10:36 June Tate-Gans (ジューン) via Devel <[email protected]> wrote: > Hey guys! > > Sam and I have been hard at work at releasing our source code for the > Project Sparrow work we've been working on for the last year or so, and we > just managed to get our first release up at < > https://github.com/AmbiML/sparrow-manifest>. So, we thought we'd announce > it to the devel list! > > A bit of background: Sparrow is a project to build an open source low-power > secure embedded platform for Ambient ML applications. Our target platform > leverages RISC-V and OpenTitan, and all our contributions are licensed > under the Apache-2 open source license. > > The Sparrow software includes a home-grown operating system named KataOS, > that runs on top of seL4 and is written almost entirely in Rust. > > We’ve pushed some foundational pieces of KataOS to GitHub together with > build glue to run seL4 CAmkES test applications on a 64-bit ARM platform > (running in simulation on qemu). These are intended to show the direction > we’re headed and enable anyone to start building their own systems in Rust > on top of seL4. > > This initial tranche of code includes: frameworks (e.g. the sel4-sys crate > that provides seL4 syscall apis), an alternate rootserver (needed for > dynamic system-wide memory management), and the kernel modifications that > enable reclaiming the memory used by the rootserver. > > This push does not, as yet, include the CAmkES services that support > dynamic loading+running of applications–that will be published as we deem > it ready for sharing until eventually all of Sparrow (software and hardware > designs) will be available. > > While we are developing for an experimental 32-bit RISC-V platform, we > intend to push code that runs on aarch64 platforms. Help is welcome to make > the code base run on more platforms. > > In the long run, we're planning on opening up everything we can, so please > watch this space! > > -- > June Tate-Gans > Software Engineer > Techlead, Kata OS / AmbiML, Google > _______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] > -- Tim Flichy _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
