On x86-64 I elected to keep badges at 28 bits initially just to provide a consistent kernel API. Aside from that there is no reason the badge size cannot be increased.

Adrian

On Thu 20-Oct-2016 7:32 AM, Corey Richardson wrote:

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.

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel