Bug#775202: Add support for running a 64-bit Linux kernel on a 32-bit EFI

[Steve McIntyre]

Package: src:grub2
Severity: important
Tags: patch

Hi folks,

I've got a patch accepted for the kernel to expose the size of the
underlying UEFI firmware for x86, and Ben's happy to take it for the
Debian kernel (#775191). I've written and tested a grub patch to match
(see http://blog.einval.com/2015/01/11#Jessie-EFI_5) which adds
support for this extra interface. Here it is. I'd appreciate it if we
can get this in for Jessie, and and of course it'd be lovely if this
went upstream too as it's generic.

There's another related patch for grub-installer to make sure that the
right grub packages get installed, too.

-- 
Steve McIntyre, Cambridge, UK.                                steve at einval.com
< liw> everything I know about UK hotels I learned from "Fawlty Towers"
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mixed_size_efi.patch
Type: text/x-diff
Size: 2318 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/pkg-grub-devel/attachments/20150112/568b2739/attachment.patch>