From 9df72e0471296d9bc2981646490c1f8b5b1e54e0 Mon Sep 17 00:00:00 2001 From: Nico Huber Date: Sat, 24 Nov 2018 18:25:50 +0100 Subject: x86/acpi: Add Kconfig to toggle 8259 reporting Change-Id: If3c9783ebc41c103c915788139d91644b805f397 Signed-off-by: Nico Huber Reviewed-on: https://review.coreboot.org/c/coreboot/+/29832 Tested-by: build bot (Jenkins) Reviewed-by: HAOUAS Elyes --- src/arch/x86/Kconfig | 8 ++++++++ src/arch/x86/acpi.c | 3 ++- 2 files changed, 10 insertions(+), 1 deletion(-) (limited to 'src/arch') diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index 242a7cfa1f..827c1cba02 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -265,6 +265,14 @@ config SKIP_MAX_REBOOT_CNT_CLEAR Note that it is the responsibility of the payload to reset the normal boot bit to 1 after each successful boot. +config ACPI_NO_PCAT_8259 + bool + help + Selected by platforms that don't expose a PC/AT 8259 PIC pair. + +config ACPI_HAVE_PCAT_8259 + def_bool y if !ACPI_NO_PCAT_8259 + config ACPI_CPU_STRING string default "\\_PR.CP%02d" diff --git a/src/arch/x86/acpi.c b/src/arch/x86/acpi.c index f08a401a6e..8a620bb2c1 100644 --- a/src/arch/x86/acpi.c +++ b/src/arch/x86/acpi.c @@ -229,7 +229,8 @@ void acpi_create_madt(acpi_madt_t *madt) header->revision = get_acpi_table_revision(MADT); madt->lapic_addr = LOCAL_APIC_ADDR; - madt->flags = 0x1; /* PCAT_COMPAT */ + if (CONFIG(ACPI_HAVE_PCAT_8259)) + madt->flags |= 1; current = acpi_fill_madt(current); -- cgit v1.2.3