Merge Razvan's process management code.
[barrelfish] / platforms / Hakefile
index 1b1c489..e9368c3 100644 (file)
@@ -164,6 +164,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                           "init",
                           "skb",
                           "spawnd",
+                          "proc_mgmt",
                           "startd",
                           "mem_serv",
                           "monitor",