Remove the part about platform defined address which is not true. The
help text is correct i.e. 0xFFFFFFFF is used as default value to indicate
that user has not customized this address.
Amends: d736b6eb451b ("xen/arm: mpu: Define Xen start address for MPU systems")
Reported-by: Jan Beulich <[email protected]>
Signed-off-by: Michal Orzel <[email protected]>
---
xen/arch/arm/Kconfig | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/xen/arch/arm/Kconfig b/xen/arch/arm/Kconfig
index 442d353b4343..2f2b501fdac4 100644
--- a/xen/arch/arm/Kconfig
+++ b/xen/arch/arm/Kconfig
@@ -28,7 +28,7 @@ config ARCH_DEFCONFIG
default "arch/arm/configs/arm64_defconfig" if ARM_64
config XEN_START_ADDRESS
- hex "Xen start address: keep default to use platform defined address"
+ hex "Xen start address"
default 0xFFFFFFFF
depends on MPU
help
--
2.43.0
