Changes in kernel/arch/ppc32/src/boot/boot.S [9d58539:36df4109] in mainline

File:

• kernel/arch/ppc32/src/boot/boot.S (modified) (3 diffs)

kernel/arch/ppc32/src/boot/boot.S

@@ -27 +27 @@
 #
 
+#include <abi/asmtool.h>
 #include <arch/asm/regname.h>
 #include <config.h>
@@ -32 +33 @@
 .section K_TEXT_START, "ax"
 
-.global kernel_image_start
-kernel_image_start:
-        
+SYMBOL(kernel_image_start)
         # load temporal kernel stack
         
@@ -49 +48 @@
         
         addis r3, r3, 0x8000
-        bl arch_pre_main
+        bl ppc32_pre_main
         b main_bsp