"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