Bear in mind, this is not all our original work. We're borrowing from prior efforts in this area as well from work on the Robigalia rust crates as a starting point.
On Wed, Mar 22, 2023 at 11:57 AM June Tate-Gans (ジューン) <[email protected]> wrote: > At the moment, we're attempting to keep parity with the existing libsel4 > library by re-using the existing scripts to generate things where we can, > modulo some changes to the bitfield_gen.py to generate rust code. You can > see what we're building at < > https://github.com/AmbiML/sparrow-cantrip-full/tree/main/apps/system/components/cantrip-os-common/src/sel4-sys > >. > > On Tue, Mar 21, 2023 at 4:57 PM Nick Spinale <[email protected]> wrote: > >> Hello June, >> >> The Rust libraries I've been working on for the seL4 Foundation include a >> bitfield parser [1] and corresponding Rust code generator [2]. >> >> I'd be interested in learning more about these bindings you are working >> on. What kind of API are you envisioning? >> >> Best, >> Nick >> >> [1] >> https://gitlab.com/coliasgroup/rust-seL4/-/tree/main/crates/sel4/bitfield-parser >> [2] >> https://gitlab.com/coliasgroup/rust-seL4/-/tree/main/crates/sel4/sys/build/bf >> >> On Tue, Mar 21, 2023 at 4:01 PM June Tate-Gans (ジューン) via Devel >> <[email protected]> wrote: >> >>> Hey guys, >>> >>> I've been attempting to put together some rust bindings for the seL4 >>> fault >>> handling mechanisms, and I'm afraid the bitfield generator is driving me >>> a >>> bit up a wall at this point. I'd like to find a concise grammar for the >>> language so I can better understand how bitfield_gen.py works, but there >>> doesn't seem to be any explicit BNF for it anywhere. >>> >>> Is there a paper I should be reading or a reference guide somewhere that >>> would help? >>> >>> Thanks! >>> >>> -- >>> June Tate-Gans >>> Software Engineer >>> Techlead, Kata OS / AmbiML, Google >>> _______________________________________________ >>> Devel mailing list -- [email protected] >>> To unsubscribe send an email to [email protected] >>> >> > > -- > June Tate-Gans > Software Engineer > Techlead, Kata OS / AmbiML, Google > -- June Tate-Gans Software Engineer Techlead, Kata OS / AmbiML, Google _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
