On Thu, Jan 21, 2010 at 07:11:20PM +0100, email@example.com 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?