MapPerms: Consistency between map and iomap#577

cazb2 wants to merge 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:callumb/improve_permission_reprau-ts/microkit:callumb/improve_permission_reprCopy head branch name to clipboard