armv7,armv8: Add process manager to targets and menu.lsts
[barrelfish] / hake / menu.lst.k1om
index 6f122e5..c117155 100644 (file)
@@ -24,6 +24,7 @@ module  /k1om/sbin/ramfsd boot
 module  /k1om/sbin/skb boot
 module  /k1om/sbin/xeon_phi boot
 module  /k1om/sbin/spawnd boot
+module  /k1om/sbin/proc_mgmt boot
 module  /k1om/sbin/startd boot
 
 # drivers