Merge Razvan's process management code.

[barrelfish] / platforms / Hakefile

diff --git a/platforms/Hakefile b/platforms/Hakefile
index 1b1c489..e9368c3 100644 (file)
--- a/platforms/Hakefile
+++ b/platforms/Hakefile
@@ -164,6 +164,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                           "init",
                           "skb",
                           "spawnd",
+                          "proc_mgmt",
                           "startd",
                           "mem_serv",
                           "monitor",