L4 Mapping question

[Michael Hohmuth]

"Adam 'WeirdArms' Wiggins" <awiggins at 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 at innocent.com, hohmuth at sax.de
http://www.sax.de/~hohmuth/