Actually, it would probably be better to make seL4_Untyped_Replace take a parent untyped capability and a child capability (of any type) of that untyped to revoke and replace. That would allow replacing an object any number of times.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
