Hi June! Writing all OS stuff in Rust sounds very good to me. Regarding this: "and the kernel modifications that enable reclaiming the memory used by the rootserver."
Do you mean seL4 modifications...? Is this to make this work: https://github.com/AmbiML/sparrow-kata/blob/main/apps/system/components/kata-os-common/src/allocator/src/lib.rs ?? Best, El sáb, 20 ago 2022 a las 17:36, June Tate-Gans (ジューン) via Devel (<devel@sel4.systems>) escribió: > 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 -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
