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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
