ipc- where to send message(ipc).

Jork Loeser jork at os.inf.tu-dresden.de
Tue May 25 13:10:00 CEST 2004

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"

Btw, what are you doing with L4?


More information about the l4-hackers mailing list