Can't get sender from l4_ipc_wait()

[Adam Lackorzynski]

Hi,

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                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/