Linking a L4 library with a L4Linux app?

Leon Brits ljbrits at
Wed Feb 23 07:04:50 CET 2005

On Tue, 2005-02-22 at 16:34 +0100, Adam Lackorzynski wrote: 
> 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?

Hi Adam,

> 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.
I do not understand your example - can you please elaborate.
[example code will be great!]

I am currently looking at "pkg/con/example/linux_stub_lib", it builds a
Linux library which I assume I can link into a Linux app but it calls
the function "l4lx_thread_create()" for which I do not seem to find any
docs. Can you please point me in the right direction to find the info. 


More information about the l4-hackers mailing list