Very nice! Gerwin > On 7 Jan 2016, at 10:35, Corey Richardson <[email protected]> wrote: > > Hi all, > > On behalf of the Robigalia project I am pleased to announce our first public > release of the core libraries for using Rust on seL4. Currently, this consists > of a raw interface akin to libsel4 and a higher-level "Rustic" interface. > Currently, only x86 is supported. An ARM port is in progress. > > We have a website: https://robigalia.org/ > And a mailing list: https://lists.robigalia.org/listinfo/robigalia-dev > > The goal of the Robigalia project is to promote Rust as a robust choice for > application development on seL4 and has the long-term goal of producing > Robigo, a POSIX-compatible personality on seL4. We're in the initial stages of > development. We are primarily a group of students from Clarkson University, > though other contributors are starting to trickle in. > > Currently in-progress is a port of the tutorial from the sel4-tutorials > repositories and examples of doing various things using the libraries we've > created. Beyond those, we're also working on x86 platform support, right now > virtio and PCI bus management. > > (I didn't intend on posting this for another week, to finish the tutorial and > high-level library, but it was scooped on HN, so I figured I might as well) > > -- > cmr > +16032392210 > http://octayn.net/ > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel
________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
