BOOT_BASE 54 boot/arch/arm32/include/arch/arch.h #define BOOT_OFFSET (BOOT_BASE + 0xa00000) BOOT_BASE 200 boot/arch/arm32/src/mm.c if (BOOT_BASE < 0x80000000UL && page >= PTL0_ENTRIES / 2)