#include <l4/names/libnames.h> #include "names-client.h" #include "__libnames.h"
#include <l4/names/libnames.h>
#include "names-client.h"
#include "__libnames.h"
Jork Loeser <jork.loeser@inf.tu-dresden.de>
Adam Lackorzynski <adam@os.inf.tu-dresden.de>