Changes in kernel/arch/ppc32/src/boot/boot.S [36df4109:9d58539] 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>
@@ -33 +32 @@
 .section K_TEXT_START, "ax"
 
-SYMBOL(kernel_image_start)
+.global kernel_image_start
+kernel_image_start:
+        
         # load temporal kernel stack
         
@@ -48 +49 @@
         
         addis r3, r3, 0x8000
-        bl ppc32_pre_main
+        bl arch_pre_main
         b main_bsp