First outline of a process management service server.

[barrelfish] / if / Hakefile

diff --git a/if/Hakefile b/if/Hakefile
index d674a4f..62efd03 100644 (file)
--- a/if/Hakefile
+++ b/if/Hakefile
@@ -60,6 +60,7 @@
                "pci",
                "ping_pong",
                "pixels",
+               "proc_mgmt",
                "rcce",
                "replay",
                "routing",