> On 27 Jan 2026, at 14:19, Michal Orzel <[email protected]> wrote:
>
> 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]>
Acked-by: Bertrand Marquis <[email protected]>
Cheers
> ---
> 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
>
