30 Sep
2022
30 Sep
'22
3:53 p.m.
Hi, I am trying to benchmark seL4's cross core IPC. I was able to run the IPC tutorial program and am now trying to run the server and the client on different VCPU. I found seL4_TCB_SetAffinity() but need to know the entry point of user program. Can anyone point it out for me? Mincheol
1272
Age (days ago)
1272
Last active (days ago)
1 comments
2 participants
participants (2)
-
Gernot Heiser -
mincheol＠vt.edu