CapMap: Remove the root cnode upper bound#576

cazb2 wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:callumb/remove_cnodesize_limitau-ts/microkit:callumb/remove_cnodesize_limitCopy head branch name to clipboard