Alexander Couzens (lynxis@fe80.eu) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/12534
-gerrit
commit 97fe2e63b5c96c0daeb8df1245fcc7a3592088c6 Author: Alexander Couzens lynxis@fe80.eu Date: Wed Nov 25 08:23:12 2015 +0100
x86/Kconfig: add PC80_NO_PIC_IRQS symbol
Some mainboard don't use IRQ handling via PIC.
Change-Id: Idc406f4b0b687c0785d4a7c96b683fe2b483ee38 Signed-off-by: Alexander Couzens lynxis@fe80.eu --- src/arch/x86/Kconfig | 4 ++++ 1 file changed, 4 insertions(+)
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index 738e7d1..57128b0 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -140,3 +140,7 @@ config ID_SECTION_OFFSET config COMPILE_IN_DSDT bool "compile in DSDT and use that over DSDT in CBFS" default n + +# "Use for devices which don't support the IRQ handling via PIC. Important for legacy BIOS. SeaBIOS can switch to polling instead." +config PC80_NO_PIC_IRQS + def_bool n