First outline of a process management service server.
[barrelfish] / platforms / Hakefile
index 01df2ec..915ad0a 100644 (file)
@@ -165,6 +165,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                           "init",
                           "skb",
                           "spawnd",
+                          "proc_mgmt",
                           "startd",
                           "mem_serv",
                           "monitor",