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 87914be..c680ccd 100644 (file)
--- a/hake/menu.lst.armv8_a57v_1
+++ b/hake/menu.lst.armv8_a57v_1
@@ -2,8 +2,8 @@
 # This script is used to describe the commands to start at
 # boot-time and the arguments they should receive.
 #
-
-kernel /armv8/sbin/cpu_a57v loglevel=3 serial=0x1c090000 gicdist=0x8000000 gic=0x8010000 timeslice=80
+bootdriver  /armv8/sbin/boot_armv8_generic
+cpudriver /armv8/sbin/cpu_a57v loglevel=3 serial=0x1c090000 gicdist=0x8000000 gic=0x8010000 timeslice=80
 stack 131072
 module /armv8/sbin/init
 
@@ -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