From: Andi Kleen Subject: Re: [PATCH 00 of 36] x86/paravirt: groundwork for 64-bit Xen support Date: Wed, 25 Jun 2008 14:40:20 +0200 Message-ID: <87skv1r8ln.fsf@basil.nowhere.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: In-Reply-To: (Jeremy Fitzhardinge's message of "Wed, 25 Jun 2008 00:18:56 -0400") Sender: linux-kernel-owner@vger.kernel.org To: Jeremy Fitzhardinge Cc: Mark McLoughlin , xen-devel , Eduardo Habkost , Stephen Tweedie , LKML List-Id: xen-devel@lists.xenproject.org Jeremy Fitzhardinge writes: > > This moves __PAGE_OFFSET up by 16 GDT slots, from 0xffff810000000000 GDT? PDP? > to 0xffff880000000000. I have no general justification for this: th This will significantly decrease the maximum amount of physical memory supported by Linux longer term. > "x86_64: PSE no longer a hard requirement." > > Because booting under Xen doesn't set PSE, it's no longer a hard > requirement for the kernel. PSE will be used whereever possible. Both sound like cases of "let's hack Linux to work around Xen problems" -Andi