[seL4] How does the seL4 kernel revoke frame cap?

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