On Wed, May 25, 2011 at 2:32 PM, Matthew Garrett [off-list ref] wrote:

On Wed, May 25, 2011 at 02:21:17PM -0400, Andrew Lutomirski wrote:

quoted

Looking at the code, I'm a little confused how it's supposed to work.
AFAICT, unless there's a DMI match, then the driver will only load
ifthe boot code sets VIDEO_TYPE_EFI, but nothing sets that.

grub should be setting that.

It looks like grub-fedora (the git version, anyway) has a function
set_kernel_params that tries to do this.  Peter, the git tree claims
that you maintain it.  Are there any experiments you'd like me to do?
(Dumping boot_params, perhaps?)

--Andy