Re: [PATCH v3 02/52] xen/arm: make ARM_EFI selectable for Arm64

[Julien Grall <julien@xxxxxxx>]

On 26/06/2023 04:33, Penny Zheng wrote:
> From: Wei Chen <wei.chen@xxxxxxx>
>
> Currently, ARM_EFI will mandatorily selected by Arm64.
I think there is a missing 'be' after 'mandatorily'.

> Even if the user knows for sure that their images will not
> start in the EFI environment, they can't disable the EFI
> support for Arm64. This means there will be about 3K lines
> unused code in their images.
>
> So in this patch, we make ARM_EFI selectable for Arm64, and
> based on that, we can use CONFIG_ARM_EFI to gate the EFI
> specific code in head.S for those images that will not be
> booted in EFI environment.
>
> Signed-off-by: Wei Chen <wei.chen@xxxxxxx>
> Signed-off-by: Penny Zheng <penny.zheng@xxxxxxx>
Reviewed-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall