j
k
j a
j l
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.
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites