[okl4-developer] OKL4 v2.1: about thread identifiers

[Joshua Root]

Frank Kaiser wrote:
> According to the implementation in /vspi_serverloop.c/ the first
> parameter of this prototype is equal to the dereferenced second
> parameter of function *L4_ReplyWait()*, which shall be, according to
> section D-5.1.8/.9 of the OKL4 User Manual, a pointer to the sender’s
> thread id.

It looks like that section of the manual is incorrect/outdated. What you
actually get is not a thread id that can be used however you like, but a
reply capability whose use is only valid under certain specific
circumstances.

See A-4.4 and A-6 in the manual, and this wiki page:
<http://wiki.ok-labs.com/ReplyCaps>

Cheers,
Josh