[SeaBIOS] [coreboot] Seabios problems

[Kevin O'Connor]

On Thu, Jan 21, 2010 at 07:11:20PM +0100, congedete at voila.fr wrote:
> Thanks. It applied correctly now.
> 
> I'm able to press F12 and then I can use the keyboard to choose a kernel in grub2.
> The problem is if I don't press F12, the keyboard is locked in grub2.

I had to revert the patch I applied to fix the problem with your
keyboard.  I commited a slightly different patch to latest SeaBIOS
git.  Can you check if your keyboard still works?

Thanks,
-Kevin