armv7,armv8: Add process manager to targets and menu.lsts

[barrelfish] / hake / menu.lst.armv8_a57v_1

diff --git a/hake/menu.lst.armv8_a57v_1 b/hake/menu.lst.armv8_a57v_1
index a134dae..c680ccd 100644 (file)
--- a/hake/menu.lst.armv8_a57v_1
+++ b/hake/menu.lst.armv8_a57v_1
@@ -25,4 +25,4 @@ modulenounzip /skb_ramfs.cpio.gz nospawn
 
 # Drivers
 # module /armv8/sbin/corectrl auto
-#module /armv8/sbin/pci auto
\ No newline at end of file
+#module /armv8/sbin/pci auto