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

File:

• kernel/arch/ppc32/src/boot/boot.S (modified) (2 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