armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / platforms / Hakefile
index e9368c3..a1de5ad 100644 (file)
@@ -250,6 +250,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                         "init",
                         "mem_serv",
                         "monitor",
+                        "proc_mgmt",
                         "ramfsd",
                         "spawnd",
                         "startd",
@@ -276,6 +277,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                                "kaluga",
                                "mem_serv",
                                "monitor",
+                               "proc_mgmt",
                                "ramfsd",
                                "serial_pl011",
                                "serial_kernel",
@@ -295,6 +297,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                               "kaluga",
                               "mem_serv",
                               "monitor",
+                              "proc_mgmt",
                               "ramfsd",
                               "serial_pl011",
                               "serial_kernel",
@@ -314,6 +317,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                      "kaluga",
                      "mem_serv",
                      "monitor",
+                     "proc_mgmt",
                      "ramfsd",
                      "serial_kernel",
                      "spawnd",
@@ -331,6 +335,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
                        "init",
                        "mem_serv",
                        "monitor",
+                       "proc_mgmt",
                        "ramfsd",
                        "spawnd",
                        "startd",