@sever99

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

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

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы