question about creating threads in sel4 based system
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
2114
Age (days ago)
2114
Last active (days ago)
1 comments
2 participants
participants (2)
-
Lee, Damon (Data61, Kensington NSW) -
sergey volkovich