10 Jun
2020
10 Jun
'20
11:28 a.m.
Cabulertion.
I trying to create my own sel4 based system, and currently i cannot understand next thing after calling seL4_Untyped_Retype i will be must somehow put execution data in memory.
It can be implemented by using seL4_TCB_WriteRegisters.
--
sever99