23 Feb
1999
23 Feb
'99
6:41 a.m.
"Adam 'WeirdArms' Wiggins" <awiggins@cse.unsw.edu.au> writes:
What TID does the kernel use for its ipc to Sigma0 to request memory mapping for kernel usage.
L4/x86 uses task 1, local thread 0, for communication with Sigma0. The Fiasco kernel doesn't do any IPC operations on behalf of itself -- so no thread id here. Michael -- hohmuth@innocent.com, hohmuth@sax.de http://www.sax.de/~hohmuth/