[okl4-developer] thread spaceid

[Carl van Schaik]

Are you asking about finding a thread's space-id? Currently it is not 
possible, the OS environment should tell the thread, eg on its stack. In 
general, threads don't need to know their space-id and can't call make 
any L4 calls that require it.

regards,
Carl

Jorge Torres wrote:
> HI,
>
>
> Does somebody know how can one find a thread spaceid?
>
> Thanks,
>
> Jorge
> ------------------------------------------------------------------------
>
> _______________________________________________
> Developer mailing list
> Developer at okl4.org
> https://lists.okl4.org/mailman/listinfo/developer
>