L4 Semaphore in L4Linux

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Aug 9 00:49:50 CEST 2006

On Tue Aug 08, 2006 at 15:40:10 +0200, Oskar Senft wrote:
> > When I now try to use them, the linker tells that the following
> > symbols are undefined:
> > "l4semaphore_restart_down"
> > "l4semaphore_restart_up"
> > "l4thread_myself"
> > "l4semaphore_thread_l4_id"
> Ok, I now found, that these symbols are dynamically linked to the
> L4Linux kernel by the loader as these are defined in libloader.s.so.
> Is there a way to use them with Linux kernel modules, too?

You have to export these functions. Examples are in
arch/l4/kernel/main.c at the end.

This message may contain nonsense. If you think this is the case you
must not use, copy, disclose or take any action based on this message or
any information herein. If you have received this message in error,
please send it back asap without copying and/or reading. Thanks!

More information about the l4-hackers mailing list