On Mon, Jan 21, 2008 at 10:12:38PM +0100, Manuel Bouyer wrote:
> I think setting it to a smaller value should work. Setting it to something
> larger than 0xc0000000 will be a real pain to support for PAE.
> Linux also has the kernel loaded at 0xc0000000, and the PAE support in
> Xen was really designed for this case.

Not changing it makes it also a lot easier to enable PAE by default.
That's desirable to be able to use syscall for example.

Joerg