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]
