Changes in kernel/arch/ppc32/src/boot/boot.S [9d58539:b66cc97] 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>
@@ -32 +33 @@
 .section K_TEXT_START, "ax"
 
-.global kernel_image_start
-kernel_image_start:
-        
+SYMBOL(kernel_image_start)
         # load temporal kernel stack