Hi,
I just got a new EFI system and ran into this. To solve it, I created
the following patch and set GRUB_VIDEO_BACKEND="efi_gop" in
/etc/default/grub. It's certainly not ideal or automated, but it
works.
--- /etc/grub.d/10_linux.orig 2012-08-13 21:41:57.292004204 -0400
+++ /etc/grub.d/10_linux 2012-08-13 19:52:27.344158078 -0400
@@ -94,6 +94,13 @@
EOF
fi
+ # support user-configured video backand
+ if [ "x$GRUB_VIDEO_BACKEND" != x ]; then
+ cat << EOF
+ load_video
+EOF
+ fi
+
cat << EOF
insmod gzio
EOF
Best wishes,
Mike
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
