Re: [PATCH] x86, boot: Allow 64bit EFI kernel to be loaded above 4G

From: Yinghai Lu
Date: Wed Feb 18 2015 - 14:47:09 EST

On Wed, Feb 18, 2015 at 3:29 AM, Baoquan He <bhe@xxxxxxxxxx> wrote:
> On 02/17/15 at 11:22pm, Yinghai Lu wrote:
>> On Tue, Feb 10, 2015 at 10:11 PM, Baoquan He <bhe@xxxxxxxxxx> wrote:
> I am sorry I didn't get what you mean. I have tried to set another ident
> mapping for new range and it is successful seeing from debug message
> printing. However it always reboot because of GPF. That's why I made
> that small debug patch which add another 4G ident mapping and hardcoded
> to put kernel between 4G and 8G.
> Could you say more of it? Or which direction should I go?

I would suggest:
leave physical address random handling to bootloader, as bootloader always
need to set ident mapping to cover kernel/bootparam/cmdline.

For virtual address random handling it should go kasl in kernel.


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at