Как загрузить в память исполняемое тело процесса на микроядре sel4?

Question

[sever99]

Здравствуйте.
В общем недавно я увлекся немного микро-ядрами, и в общем у меня возникла следующая проблема мне не совсем понятно каким образом после вызова функции seL4_Untyped_Retype в памяти должны появится исполняемые данные, работает ли это на подобии linux-ового fork или мне нужно грузить данные из мастер процесса следствием маппинга виртуальной памяти в его адресное пространство.