ipc- where to send message(ipc).

[Jork Loeser]

Hi Manish,

> I mean how is namespace resolved in l4.

L4 itself defines no namespace policies. However, to get a feeling how it
could be done, have a lock at the slides of our practical seminar on
microkernel-based system construction. You will find it at the web at
<http://os.inf.tu-dresden.de/Studium/Praktikum/>. Although the side is in
German, the slides are in English. Head for the "Name and Console Server"
section.

Btw, what are you doing with L4?

Regards,
Jork