the following patch was just integrated into master: commit 77f6b55c71770a2565dbe5c7240eb8820ebc2c99 Author: Christian Gmeiner christian.gmeiner@gmail.com Date: Wed Oct 10 09:07:28 2012 +0200
bachmann/ot200: Fix wrong IRQ number for PIRQD
The used FPGA on the device triggers PIRQD for the membrane keyboard. The used linux driver for the keyboard uses the fixed IRQ number of 7. In order not to touch the linux driver and be compatible with proprietary BIOS change the irq_table in coreboot.
Change-Id: If5bc929eb48bb1eafd401941ebb7d34cf5862c35 Signed-off-by: Christian Gmeiner christian.gmeiner@gmail.com
Build-Tested: build bot (Jenkins) at Wed Oct 10 09:26:49 2012, giving +1 Reviewed-By: Peter Stuge peter@stuge.se at Wed Oct 10 15:36:11 2012, giving +2 See http://review.coreboot.org/1571 for details.
-gerrit