[coreboot-gerrit] New patch to review for coreboot: SeaBIOS: use PC80_NO_PIC_IRQS to configure SeaBIOS HARDWARE_IRQS

[Alexander Couzens (lynxis@fe80.eu)]

Alexander Couzens (lynxis at 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 at 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 at 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/