[SeaBIOS] [PATCH] ps2: Support mode for polling the PS2 port instead of using irqs

[Kevin O'Connor]

On Mon, Jul 06, 2015 at 05:20:01PM -0400, Kevin O'Connor wrote:
> Some recent hardware has trouble with routing PS2 port interrupts
> while the interrupt controller is in legacy routing mode.  This patch
> adds a config mechanism (via "etc/ps2-poll-only") to force the PS2
> code into a polling only mode so that interrupts are not required.
> 
> It is not recommended to use this polling mode on hardware that does
> properly support PS2 irqs, because some very old (DOS-era) programs
> depend on the BIOS PS2 irq behavior.

FYI - this patch was pushed.

-Kevin