Re: Can't get sender from l4_ipc_wait()
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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 [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/