armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv7_a15ve_fvp_4
index f70fa5d..0a977a9 100644 (file)
@@ -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
 module /armv7/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers