j
k
j a
j l
[Yu Neil]
hello: how we identify the sigma0 server in l4_threadid_t format ? ( the sigma0.id.* is what?)
Which API? For Version 4:
L4_GlobalId (L4_ThreadIdUserBase (kip), 1);
eSk
Back to the thread
Back to the list