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 <axelhei...@gmx.de> 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
