Build PAE by default on x86_32.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/Config.mk b/Config.mk
index 6a7ed679acdf5123b9196f5c6b00dcdfdaeb16f5..7474ce19c540b65c6add58faf82bb2800d7fdf84 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -6,9 +6,12 @@ debug ?= n
 XEN_COMPILE_ARCH    ?= $(shell uname -m | sed -e s/i.86/x86_32/ \
                          -e s/ppc/powerpc/ -e s/i86pc/x86_32/)
 XEN_TARGET_ARCH     ?= $(XEN_COMPILE_ARCH)
-XEN_TARGET_X86_PAE  ?= n
 XEN_OS              ?= $(shell uname -s)
 
+ifeq ($(XEN_TARGET_ARCH),x86_32)
+XEN_TARGET_X86_PAE  ?= y
+endif
+
 CONFIG_$(XEN_OS) := y
 
 SHELL     ?= /bin/sh