Hi,
On 05/07/2023 12:20, Andrew Cooper wrote:
On 26/06/2023 4:33 am, Penny Zheng wrote:
From: Wei Chen <wei.c...@arm.com>
Currently, ARM_EFI will mandatorily selected by Arm64.
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>
Randconfig has found a bug:
https://gitlab.com/xen-project/people/andyhhp/xen/-/jobs/4595568303
ld: prelink.o: in function `acpi_os_get_root_pointer':
/builds/xen-project/people/andyhhp/xen/xen/drivers/acpi/osl.c:73:
undefined reference to `efi'
/builds/xen-project/people/andyhhp/xen/xen/drivers/acpi/osl.c:73:(.init.text+0x8ac0):
relocation truncated to fit: R_AARCH64_ADR_PREL_PG_HI21 against
undefined symbol `efi'
:/. That's because ACPI depends on UEFI. I will send a patch to update
the Kconfig accordingly.
Cheers,
--
Julien Grall
