On 26/06/2023 04:33, Penny Zheng wrote:
From: Wei Chen <wei.c...@arm.com> 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.c...@arm.com> Signed-off-by: Penny Zheng <penny.zh...@arm.com>
Reviewed-by: Julien Grall <jgr...@amazon.com> Cheers, -- Julien Grall
