Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • boot/arch/arm32/src/main.c

    rcfeb368 r0e63d34  
    153153        printf(".\n");
    154154       
    155         void *kernel_end = (void *) PA2KA(BOOT_OFFSET + components[0].inflated);
    156155        printf("Booting the kernel...\n");
    157156        jump_to_kernel((void *) PA2KA(BOOT_OFFSET), &bootinfo);
Note: See TracChangeset for help on using the changeset viewer.