[coreboot-gerrit] Patch set updated for coreboot: payloads/Seabios: add SEABIOS_NO_HARDWARE_IRQ symbol

[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/12534

-gerrit

commit 75c39fd74767d521e2d7538a95b7d8ad806f45ca
Author: Alexander Couzens <lynxis at fe80.eu>
Date:   Wed Nov 25 08:23:12 2015 +0100

    payloads/Seabios: add SEABIOS_NO_HARDWARE_IRQ symbol
    
    Some boards don't support IRQ handling via PIC.
    
    Change-Id: Idc406f4b0b687c0785d4a7c96b683fe2b483ee38
    Signed-off-by: Alexander Couzens <lynxis at fe80.eu>
---
 payloads/external/Makefile.inc         | 1 +
 payloads/external/SeaBIOS/Kconfig      | 7 +++++++
 payloads/external/SeaBIOS/Makefile.inc | 5 +++++
 3 files changed, 13 insertions(+)

diff --git a/payloads/external/Makefile.inc b/payloads/external/Makefile.inc
index eedee05..6566733 100644
--- a/payloads/external/Makefile.inc
+++ b/payloads/external/Makefile.inc
@@ -50,6 +50,7 @@ seabios:
 			AS="$(AS_x86_32)" IASL="$(IASL)" \
 			CONFIG_SEABIOS_MASTER=$(CONFIG_SEABIOS_MASTER) \
 			CONFIG_SEABIOS_STABLE=$(CONFIG_SEABIOS_STABLE) \
+			CONFIG_SEABIOS_NO_HARDWARE_IRQ=$(CONFIG_SEABIOS_NO_HARDWARE_IRQ) \
 			CONFIG_SEABIOS_THREAD_OPTIONROMS=$(CONFIG_SEABIOS_THREAD_OPTIONROMS) \
 			CONFIG_SEABIOS_VGA_COREBOOT=$(CONFIG_SEABIOS_VGA_COREBOOT) \
 			CONFIG_CONSOLE_SERIAL=$(CONFIG_CONSOLE_SERIAL) \
diff --git a/payloads/external/SeaBIOS/Kconfig b/payloads/external/SeaBIOS/Kconfig
index 6224697..c34641a 100644
--- a/payloads/external/SeaBIOS/Kconfig
+++ b/payloads/external/SeaBIOS/Kconfig
@@ -66,4 +66,11 @@ config PAYLOAD_VGABIOS_FILE
 	depends on SEABIOS_VGA_COREBOOT
 	default "payloads/external/SeaBIOS/seabios/out/vgabios.bin"
 
+config SEABIOS_NO_HARDWARE_IRQ
+	prompt "Use polling instead of hardware IRQ."
+	default n
+	bool
+	help
+	  Some mainboard requires this because of full PIC support.
+
 endif
diff --git a/payloads/external/SeaBIOS/Makefile.inc b/payloads/external/SeaBIOS/Makefile.inc
index ec877a9..60ae8df 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_SEABIOS_NO_HARDWARE_IRQ),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/