On Thu, Jan 21, 2010 at 07:11:20PM +0100, congedete(a)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?