armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv7_omap44xx
index b5d83a7..b5991ae 100644 (file)
@@ -22,6 +22,7 @@ modulenounzip /eclipseclp_ramfs.cpio.gz nospawn
 modulenounzip /skb_ramfs.cpio.gz nospawn
 module /armv7/sbin/kaluga boot add_device_db=plat_PandaboardES
 module /armv7/sbin/spawnd boot bootarm=0
+module /armv7/sbin/proc_mgmt boot
 module /armv7/sbin/startd boot
 
 # Device drivers