ia64/xen-unstable

changeset 6333:f3859247f2ed

no pae by default
author kaf24@firebug.cl.cam.ac.uk
date Mon Aug 22 19:59:58 2005 +0000 (2005-08-22)
parents 8c58bf335465
children f51fe43c5d1c
files Config.mk
line diff
     1.1 --- a/Config.mk	Mon Aug 22 19:58:22 2005 +0000
     1.2 +++ b/Config.mk	Mon Aug 22 19:59:58 2005 +0000
     1.3 @@ -3,7 +3,7 @@
     1.4  # Currently supported architectures: x86_32, x86_64
     1.5  XEN_COMPILE_ARCH    ?= $(shell uname -m | sed -e s/i.86/x86_32/)
     1.6  XEN_TARGET_ARCH     ?= $(XEN_COMPILE_ARCH)
     1.7 -XEN_TARGET_X86_PAE  ?= y
     1.8 +XEN_TARGET_X86_PAE  ?= n
     1.9  
    1.10  # Tools to run on system hosting the build
    1.11  HOSTCC     = gcc