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 <n...@nickspinale.com> 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 > <devel@sel4.systems> 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 -- devel@sel4.systems >> To unsubscribe send an email to devel-leave@sel4.systems >> > -- 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
