![](https://secure.gravatar.com/avatar/f012fce9f997ceefa53283631d45de0d.jpg?s=120&d=mm&r=g)
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/
![](https://secure.gravatar.com/avatar/dcbf94f0acfb3e432dc5e73388257b0c.jpg?s=120&d=mm&r=g)
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.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
participants (2)
-
Adrian.Danis@data61.csiro.au
-
Corey Richardson