Hi, Mike! At 2019-05-13T14:21:41+0200, Mike Epoch wrote: > I am new to this list so please forgive me if this question has been > asked before.
No worries; it's a low-traffic list. > The seL4 code base contains a slew of files with a file type of "bf". > These files seem to define packed structs that are to fit into words > or d-words. Yes. They're called "bitfields", and you can read more about them here: https://ts.data61.csiro.au/publications/nictaabstracts/Cock_08.abstract.pml Regards, Branden
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
