Hi Xavier,
On Tue, June 2, 2009 10:47 am,
[hidden email] 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
_______________________________________________
Developer mailing list
[hidden email]
https://lists.okl4.org/mailman/listinfo/developer
