[okl4-developer] Thread ids and caps in OKL4 2.1

[Joshua Root]

Hi folks,

I'd like to get some things clarified regarding the new IPC security 
model in OKL4 2.1. Apologies if the answers to these questions are in 
the docs, but I haven't been able to locate them.

* Does the root server need to explicitly create caps in the root clist 
before it can IPC other threads? If so, how is this done? 
(L4_CreateIpcCap()'s description seems to indicate that it actually just 
copies an existing cap between clists?)

* When my root server receives a message in its main loop, the 'from' 
tid usually seems to be 0x80000002, which I'm told is a reply cap (the 
docs don't seem to mention this BTW). How can I find out the sender's 
real global thread id?

Cheers,
Josh