How to load into memory the executable body of a process on the sel4 microkernel?

Question

linux

Hello.
In general, recently I got carried away with a little micro-kernels, and in general I had the following problem, I don’t quite understand how, after calling the seL4_Untyped_Retype function, executable data should appear in memory, does it work like a linux fork or do I need to load data from the master process is the result of virtual memory mapping into its address space.