armv7,armv8: Add process manager to targets and menu.lsts

[barrelfish] / hake / menu.lst.armv7_a15a7ve

diff --git a/hake/menu.lst.armv7_a15a7ve b/hake/menu.lst.armv7_a15a7ve
index fcae6ec..9414fb4 100644 (file)
--- a/hake/menu.lst.armv7_a15a7ve
+++ b/hake/menu.lst.armv7_a15a7ve
@@ -24,6 +24,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_VE_A15x4_A7x4
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers