Linking a L4 library with a L4Linux app?

Adam Lackorzynski adam at
Tue Feb 22 16:34:00 CET 2005

On Tue Feb 22, 2005 at 17:25:43 +0200, Leon Brits wrote:
> My library calls l4_ipc_wait() a few times and fprov-l4/dump-l4 only
> makes IPC calls. I can port my library to to use the standard Linux
> semaphore and thread libraries but I still need to receive IPC calls.
> Any suggestions for L4Linux app example code that waits for an IPC?

Doing ipc-wait is no problem. It's just e.g. when creating threads one
should make sure that Linux won't be using this thread for Linux
threads. And that this thread does not cause page faults and similar.
It's better to take the Linux way here.

Adam                 adam at

More information about the l4-hackers mailing list