Re: [PATCH] Add support for running a 64-bit Linux kernel on a 32-bit EFI

2015-02-02 Thread Steve McIntyre
On Wed, Jan 28, 2015 at 11:42:14PM +, Steve McIntyre wrote: v2 coming shortly. Hi! Any comments on v2? -- Steve McIntyre, Cambridge, UK.st...@einval.com Google-bait: http://www.debian.org/CD/free-linux-cd Debian does NOT ship free CDs. Please do NOT

Re: [PATCH] Add support for running a 64-bit Linux kernel on a 32-bit EFI

2015-01-28 Thread Steve McIntyre
On Wed, Jan 28, 2015 at 06:42:01AM +0300, Andrei Borzenkov wrote: В Wed, 28 Jan 2015 00:56:30 + Steve McIntyre st...@einval.com пишет: = Some platforms might be capable of running a 64-bit Linux kernel but only use a

[PATCH] Add support for running a 64-bit Linux kernel on a 32-bit EFI

2015-01-27 Thread Steve McIntyre
Hi folks, I've been working in Debian on adding support for amd64 platforms which are shipped with 32-bit UEFI firmware, such as the Asus X205TA and other Bay Trail machines. As part of that, I've had a patch accepted by the Linux EFI maintainers [1] to expose the size of the underlying firmware

Re: [PATCH] Add support for running a 64-bit Linux kernel on a 32-bit EFI

2015-01-27 Thread Andrei Borzenkov
В Wed, 28 Jan 2015 00:56:30 + Steve McIntyre st...@einval.com пишет: Hi folks, I've been working in Debian on adding support for amd64 platforms which are shipped with 32-bit UEFI firmware, such as the Asus X205TA and other Bay Trail machines. As part of that, I've had a patch accepted