[seL4] Re: Bitfield generator EBNF grammar

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 (ジューン) 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/compone...

...

.

On Tue, Mar 21, 2023 at 4:57 PM Nick Spinale 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-pa... [2] https://gitlab.com/coliasgroup/rust-seL4/-/tree/main/crates/sel4/sys/build/b...

On Tue, Mar 21, 2023 at 4:01 PM June Tate-Gans (ジューン) via Devel 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

-- June Tate-Gans Software Engineer Techlead, Kata OS / AmbiML, Google