[okl4-developer] OKL4 Library

[Josh Matthews]

Hi Xavier,

On Tue, June 2, 2009 10:47 am, Xavier.LANGELLIER at fr.thalesgroup.com wrote:

> On the first page of the OKL4 Library Reference Manual there is a mention
> "DRAFT".
> Is it possible to use this library and specifically the message.h part, or
> is it mandatory to use the l4_xxx ipc system calls?

We strongly encourage you to use the highest level of the provided API's
that suit your purpose - for most cases, that should be the OKL4 Library.

Cheers,
Josh