X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=hake%2Fmenu.lst.armv8_cn88xx;h=5635df81e920a8d2fde12ff50c6a1e344952df46;hp=276532c0fd56ac3d1cbecac52f1a016d347e56d6;hb=8277657807ed731a7eb266d8f30005b5e83a85d1;hpb=1f5397f9d3e7177e435137ac7040370c39f49374

diff --git a/hake/menu.lst.armv8_cn88xx b/hake/menu.lst.armv8_cn88xx
index 276532c..5635df8 100644
--- a/hake/menu.lst.armv8_cn88xx
+++ b/hake/menu.lst.armv8_cn88xx
@@ -17,6 +17,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