armv8: adding dependencies to the platform hakefile renaming platforms
authorReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 12 Oct 2016 13:01:12 +0000 (15:01 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Wed, 12 Oct 2016 13:01:12 +0000 (15:01 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kernel/arch/armv8/efiboot_init.c
platforms/Hakefile

index 9fe4291..781fd5a 100644 (file)
@@ -26,8 +26,8 @@
 
 void eret(uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3);
 
-void vminit(uint32_t magic, void *pointer, void *kernel_stack_top)
-    __attribute__((noreturn,section(".vminit")));
+void efiboot(uint32_t magic, void *pointer, void *kernel_stack_top)
+    __attribute__((noreturn,section(".efiboot")));
 
 void *jump_target= &arch_init;
 
@@ -50,7 +50,7 @@ void *jump_target= &arch_init;
    Register x1 contains a pointer to top entry in the kernel stack
  */
 void
-vminit(uint32_t magic, void *pointer, void *stack) {
+efiboot(uint32_t magic, void *pointer, void *stack) {
     int el= get_current_el();
 
 
index ad30cf0..e48b3c6 100644 (file)
@@ -472,7 +472,7 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
        [ ("",       f) | f <- modules_generic])
       "Xeon Phi build with benchmarks and test suites",
 
-    platform "ARMv8-QEMU" [ "armv8" ]
+    platform "QEMU" [ "armv8" ]
       ([ ("armv8", "/sbin/cpu_a57v") ] 
        ++
        [ ("armv8", f) | f <- armv8_modules ]
@@ -480,6 +480,15 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
        [ ("",       f) | f <- modules_generic])
     "ARM Virtual Machine Board with ARM Cortex A57 processors in Qemu.",
 
+    platform "APM88xxxx" [ "armv8" ]
+    ([ ("armv8", "/sbin/cpu_apm88xxxx") ]
+       ++
+       [ ("armv8", f) | f <- armv8_modules ]
+       ++
+       [ ("",       f) | f <- modules_generic]
+    )
+    "The APM XGene development board (Mustang)",
+
     platform "ARMv8-GEM5" [ "armv8" ]
     ([ ("armv8", f) | f <- armv8_gem5Modules ] ++ [ ("root", "/armv8_gem5_image") ])
     "GEM5 emulator for ARM Cortex-A series multicore processors",
@@ -524,10 +533,6 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
        ("root", "/armv7_zynq7_image-gdb.gdb") ])
     "Xilinx Zynq7000",
 
-    platform "Mustang" [ "armv8" ]
-    ([ ("armv8", "/sbin/cpu_apm88xxxx") ])
-    "The APM XGene development board (Mustang)",
-
     --
     -- Rules to build assorted boot images
     --
@@ -705,19 +710,25 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
       Str "--arch", Str "zynq7" ]
     "Boot QEMU in 32-bit ARM mode emulating a Zynq 7000",
 
-    boot "qemu_a57v" [ "armv8" ] [
+    boot "qemu_a57v" [ "armv8" ] ([
       In SrcTree "tools" "/tools/qemu-wrapper.sh",
       Str "--menu", In BuildTree "root" "/platforms/arm/menu.lst.armv8_a57v",
       Str "--arch", Str "armv8",
       Str "--hagfish", Str Config.hagfish_location ]
+      ++ [(Dep BuildTree "armv8" f) | f <- armv8_modules ]
+      ++ [(Dep BuildTree "armv8" "/sbin/cpu_a57v")]
+      ++ [(Dep BuildTree "" f) | f <- modules_generic ])
     "Boot QEMU in 64-bit ARM mode emulating a ARM Virtual Machine",
 
-    boot "qemu_a57v_debug" [ "armv8" ] [
+    boot "qemu_a57v_debug" [ "armv8" ] ([
       In SrcTree "tools" "/tools/qemu-wrapper.sh",
       Str "--menu", In BuildTree "root" "/platforms/arm/menu.lst.armv8_a57v",
       Str "--arch", Str "armv8",
       Str "--hagfish", Str Config.hagfish_location,
       Str "--debug", In SrcTree "tools" "/tools/debug.armv8.gdb" ]
+      ++ [(Dep BuildTree "armv8" f) | f <- armv8_modules ]
+      ++ [(Dep BuildTree "armv8" "/sbin/cpu_a57v")]
+      ++ [(Dep BuildTree "" f) | f <- modules_generic ])
     "Boot QEMU in 64-bit ARM mode emulating a ARM Virtual Machine",
 
     boot "qemu_x86_64_debug" [ "x86_64" ] [