Hello,
I was wondering when we call seL4_cnode_delete on a (mapped) frame cap, does the kernel also handle unmapping the frame (in addition to withdrawing authority) as well? Or the user-space has to ensure that the frame is unmapped first before calling delete?
I tried my code without unmapping that frame when deleting the cap and it seems to work fine. So I guess the kernel handles that?
Oak