Can't get sender from l4_ipc_wait()

Adam Lackorzynski adam at
Sun Apr 8 21:06:43 CEST 2012


On Thu Apr 05, 2012 at 17:35:13 -0500, Mai, Haohui wrote:
> It seems that l4_ipc_wait() will always set the sender to zero. I tested it
> in example at /pkg/examples/sys/ipc/ipc_example.c, in the l4re-2011081207
> snapshot.
> I'm writing an OS on top of Fiasco.OC. This information is important for
> pager because it'll need it to figure out which page it'll map in.
> Do you have any ideas to fix it, or any idea to work around it (at least
> L4Linux works)? Your comments are appreciated.

If you want to distinguish senders you need to use IPC-gates that carry
their label, which you will then see as the source in IPC.

Adam                 adam at

More information about the l4-hackers mailing list