Hi Leif,
I did not make it clear, this is an enhancement to your linux-uefi-runtime-services tree.
Looking at the grub source it seems we should expect either of these to be set, internally in the kernel we actually check acpi20 first then fall back on acpi.
Thanks
Graeme
On 17/07/13 16:36, Graeme Gregory wrote:
From: Graeme Gregory graeme.gregory@linaro.org
Make sure to update the efi.acpi20 pointer if the ACPI20 GUID is found in the system configuration tables list.
Signed-off-by: Graeme Gregory graeme.gregory@linaro.org
arch/arm/kernel/efi.c | 2 ++ 1 file changed, 2 insertions(+)
diff --git a/arch/arm/kernel/efi.c b/arch/arm/kernel/efi.c index 86bb75e..482ff48 100644 --- a/arch/arm/kernel/efi.c +++ b/arch/arm/kernel/efi.c @@ -160,6 +160,8 @@ static int __init uefi_config_init(void) str, (u32)table); if (!efi_guidcmp(guid, ACPI_TABLE_GUID)) efi.acpi = table;
if (!efi_guidcmp(guid, ACPI_20_TABLE_GUID))efi.acpi20 = table;