On Tue, Nov 25, 2014 at 12:14:21PM -0500, Alex Deucher wrote: > The vbios image is available via ACPI prior to the OS taking over. > IIRC, Matthew Garret fixed up the bootloader to fetch the vbios image > prior to loading Linux so that it could be accessed after the OS > loaded. EFI rather than ACPI, but yeah. In theory this should work fine if you're using the EFI entry point. I don't know whether the patches for linuxefi were ever accepted by grub upstream - if not, pushing those would make more sense. -- Matthew Garrett | mjg59@xxxxxxxxxxxxx _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/dri-devel
