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

2015-01-27 Thread Steve McIntyre
On Tue, Jan 27, 2015 at 08:12:51PM +, Colin Watson wrote: >On Mon, Jan 12, 2015 at 04:24:24PM +, Steve McIntyre wrote: >> On Mon, Jan 12, 2015 at 03:17:39PM +, Colin Watson wrote: >> >This all looks reasonable enough, but why not "return is_64_kernel () ? >> >64 : 32;" here? Then you c

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

2015-01-27 Thread Colin Watson
On Mon, Jan 12, 2015 at 04:24:24PM +, Steve McIntyre wrote: > On Mon, Jan 12, 2015 at 03:17:39PM +, Colin Watson wrote: > >This all looks reasonable enough, but why not "return is_64_kernel () ? > >64 : 32;" here? Then you could simplify > >grub_install_get_default_x86_platform to just con

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

2015-01-20 Thread Steve McIntyre
On Mon, Jan 12, 2015 at 04:24:24PM +, Steve McIntyre wrote: >> >>This all looks reasonable enough, but why not "return is_64_kernel () ? >>64 : 32;" here? Then you could simplify >>grub_install_get_default_x86_platform to just conditionalise on "if >>(read_platform_size () == 64)" and avoid du

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

2015-01-12 Thread Steve McIntyre
On Mon, Jan 12, 2015 at 03:17:39PM +, Colin Watson wrote: >On Mon, Jan 12, 2015 at 03:03:30PM +, Steve McIntyre wrote: >> 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'

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

2015-01-12 Thread Colin Watson
On Mon, Jan 12, 2015 at 03:03:30PM +, Steve McIntyre wrote: > 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.ein

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

2015-01-12 Thread 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/2