Is there a future in which we recover the extra 32+ bits of padding on 64-bit systems for use in badges? In Robigalia, 28 bit badges are extremely limiting for what we want to use them for.
-- cmr http://octayn.net/
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
