8 Apr
2012
8 Apr
'12
9:06 p.m.
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@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/