diff --git a/arch/arm64/core/Kconfig b/arch/arm64/core/Kconfig index 55deb20fb3f..0c2a5d6d301 100644 --- a/arch/arm64/core/Kconfig +++ b/arch/arm64/core/Kconfig @@ -80,7 +80,7 @@ config IPM_CONSOLE_STACK_SIZE config AARCH64_IMAGE_HEADER bool "Add image header" - default y if ARM_MMU + default y if ARM_MMU || ARM_MPU help This option enables standard ARM64 boot image header used by Linux and understood by loaders such as u-boot on Xen xl tool. diff --git a/arch/arm64/core/header.S b/arch/arm64/core/header.S index 87a83f2e858..ee531eb0627 100644 --- a/arch/arm64/core/header.S +++ b/arch/arm64/core/header.S @@ -8,7 +8,7 @@ #include #include "mmu.h" -#if CONFIG_MMU_PAGE_SIZE == 4096 +#if CONFIG_MMU_PAGE_SIZE == 4096 || defined(CONFIG_ARM_MPU) #define HEADER_PGSIZE 1 #elif CONFIG_MMU_PAGE_SIZE == 16384 #define HEADER_PGSIZE 2