[seL4] Re: capDL-tool fix for empty CNode slots

My change is just wrong; discard. On Wed, Apr 6, 2022 at 11:07 AM Sam Leffler 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 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