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' ~Andrew
