armv8: fixing menu.lst files and adding bootdriver to the platforms

[barrelfish] / hake / menu.lst.armv8_a57v

diff --git a/hake/menu.lst.armv8_a57v b/hake/menu.lst.armv8_a57v
index dc3a6d6..bf403fe 100644 (file)
--- a/hake/menu.lst.armv8_a57v
+++ b/hake/menu.lst.armv8_a57v
@@ -2,12 +2,12 @@
 # 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=0x9000000 gicdist=0x8000000 gic=0x8010000
+bootdriver  /armv8/sbin/boot_armv8_generic
+cpudriver /armv8/sbin/cpu_a57v loglevel=3 serial=0x9000000 gicdist=0x8000000 gic=0x8010000
 stack 131072
 module /armv8/sbin/init
 
-# Domains spawned by init75
+# Domains spawned by init
 module /armv8/sbin/mem_serv
 module /armv8/sbin/monitor