armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.armv8_a57v
index bf403fe..8a7ad09 100644 (file)
@@ -16,6 +16,7 @@ module /armv8/sbin/ramfsd boot
 module /armv8/sbin/skb boot
 module /armv8/sbin/kaluga boot
 module /armv8/sbin/spawnd boot
+module /armv7/sbin/proc_mgmt boot
 module /armv8/sbin/startd boot
 module /armv8/sbin/acpi boot