Re: [SeaBIOS] Problems booting FreeBSD9 under SeaBIOS as CSM

[David Woodhouse]

On Tue, 2013-01-22 at 15:19 +0100, Peter Stuge wrote:
> Sounds like a timer problem. The hardware interrupt somehow supports
> that theory.

Indeed. Turns out the EFI side was disabling interrupts after we'd set
stuff up. By saving the PIC masks on the way back to EFI, then restoring
them at each entry back into SeaBIOS code, I can make things work a lot
better.

Thanks.