Alexander Couzens (lynxis@fe80.eu) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/12535
-gerrit
commit f1512f516bd8e8a444abc173ee4c7dc0ac524dad Author: Alexander Couzens lynxis@fe80.eu Date: Wed Nov 25 08:23:53 2015 +0100
SeaBIOS: use PC80_NO_PIC_IRQS to configure SeaBIOS HARDWARE_IRQS
Since SeaBIOS 1.9.0 it's supports polling instead of using IRQ.
Change-Id: I7b49f26a69562031a4ad0239e6d8000a6c392f96 Signed-off-by: Alexander Couzens lynxis@fe80.eu --- payloads/external/SeaBIOS/Makefile.inc | 5 +++++ 1 file changed, 5 insertions(+)
diff --git a/payloads/external/SeaBIOS/Makefile.inc b/payloads/external/SeaBIOS/Makefile.inc index ec877a9..e358232 100644 --- a/payloads/external/SeaBIOS/Makefile.inc +++ b/payloads/external/SeaBIOS/Makefile.inc @@ -41,6 +41,11 @@ ifeq ($(CONFIG_SEABIOS_VGA_COREBOOT),y) echo "CONFIG_VGA_COREBOOT=y" >> seabios/.config echo "CONFIG_BUILD_VGABIOS=y" >> seabios/.config endif +ifeq ($(CONFIG_PC80_NO_PIC_IRQS),y) + echo "# CONFIG_HARDWARE_IRQ is not set" >> seabios/.config +else + echo "CONFIG_HARDWARE_IRQ=y" >> seabios/.config +endif # This shows how to force a previously set .config option *off* #echo "# CONFIG_SMBIOS is not set" >> seabios/.config $(MAKE) -C seabios olddefconfig OUT=out/