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 пишет: > >> >> = >> Some platforms might be capable of running a 64-bit Linux kernel but >> only use a 32-bit EF

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 пишет: > 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 Lin

[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 t