Re: [seL4] Are there any plans to re-add seL4_Untyped_RetypeAtOffset?

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.