My change is just wrong; discard. On Wed, Apr 6, 2022 at 11:07 AM Sam Leffler <[email protected]> wrote:
> Actually, I sent this prematurely. It appears to mess up something in the > VSpace construction. Please ignore for now. > > On Wed, Apr 6, 2022 at 10:36 AM Axel Heider <[email protected]> wrote: > >> Sam, >> >> > If you generate capdl for a CNode with empty slots, capDL-tool >> incorrectly >> > calculates CDL_CapMap::num because it uses Map.size which doesn't >> include >> > empty slots. The right way to calculate "num" is by taking the max of >> the >> > key values +1. >> >> Thanks for the patch. Could you make a pull request at >> https://github.com/seL4/capdl for this? >> >> Axel >> > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
