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