Здравствуйте.
Скажу сразу в системном программировании я новичок, но как хобби все-же решил попробовать написать posix суб-сет для микроядра sel4.
И как я понял из документации для создания нового потока нужно сначала выделить из общей кучи некоторое количество памяти вызовом функции sel4_untyped_retype, затем настроить процессу кепсы и бейджы через sel4_tcb_configure и sel4_cnode_mint.
Но проблема в другом мне не совсем понятно как загрузить новое исполняемое тело в ново-выделенный участок памяти.
Если кто имел дело подскажите совет