First outline of a process management service server.
[barrelfish] / if / Hakefile
index d674a4f..62efd03 100644 (file)
@@ -60,6 +60,7 @@
                "pci",
                "ping_pong",
                "pixels",
+               "proc_mgmt",
                "rcce",
                "replay",
                "routing",