Changes in boot/arch/arm32/src/main.c [0e63d34:cfeb368] in mainline

File:

• boot/arch/arm32/src/main.c (modified) (1 diff)

boot/arch/arm32/src/main.c

@@ -153 +153 @@
         printf(".\n");
         
+        void *kernel_end = (void *) PA2KA(BOOT_OFFSET + components[0].inflated);
         printf("Booting the kernel...\n");
         jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);