Not ready for pae by default just yet. ;-)

diff --git a/Config.mk b/Config.mk
index 2f2183e20ea6dc28e46b3287e4c9a89e78c179d8..76180e6b26c7d9e5e0ce82e6b49c8bfc3c0f846d 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -3,7 +3,7 @@
 # Currently supported architectures: x86_32, x86_64
 XEN_COMPILE_ARCH    ?= $(shell uname -m | sed -e s/i.86/x86_32/)
 XEN_TARGET_ARCH     ?= $(XEN_COMPILE_ARCH)
-XEN_TARGET_X86_PAE  ?= y
+XEN_TARGET_X86_PAE  ?= n
 
 # Tools to run on system hosting the build
 HOSTCC     = gcc