On Tue, Jun 25, 2013 at 10:50 PM, Colin Watson <cjwat...@debian.org> wrote: > On Tue, Jun 25, 2013 at 10:33:49PM +0200, Vincent Fourmond wrote: >> On Tue, Jun 25, 2013 at 9:15 PM, Colin Watson <cjwat...@debian.org> wrote: >> > That code path shouldn't actually fire, though, because >> > $feature_all_video_module should be y for 2.00 core images. Are you >> > sure your core image is up to date? >> >> I think so: >> >> ~ dpkg -l 'grub*' > > By core image, I mean the image you're actually booting from, which > doesn't always match the package on your file system for one reason or > another. What version number does it say when you get the GRUB menu at > boot?
You're right here: it is a 1.99 version. The trick is that I can't remember at all how I got the EFI boot working. All I know is it took me a couple of headaches, and direct addition of files into the EFI hfs+ partition. I have a grubx64.efi: PE32+ executable (EFI application) x86-64 (stripped to external PDB), for MS Windows file in that partition which I remember more-or-less to have installed myself, but I don't have a clue as to where I got it in the first place. Any help on that would be most welcome. Cheers, Vincent -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org