(no subject)

[Espen Skoglund]

[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