Question regardin intel64 arch and page table setup

[H. Peter Anvin]

On 08/11/2010 02:51 PM, Eric W. Biederman wrote:
> 
> 3) I would start just getting the normal kexec case to work.
>    The 64bit kernel does support starting at the 64bit entry point,
>    but I don't think it has been tested if loaded above 4G.
> 

I can guarantee that it hasn't; I looked at that code not all that long
ago and it's shock-full of 32- and 39-bit assumptions.

	-hpa