ia64/xen-unstable

changeset 6310:40d68c7d62d0

Not ready for pae by default just yet. ;-)
author kaf24@firebug.cl.cam.ac.uk
date Sat Aug 20 10:03:40 2005 +0000 (2005-08-20)
parents 4e0d8361a538
children f3da3a14cafd
files Config.mk
line diff
     1.1 --- a/Config.mk	Sat Aug 20 10:01:20 2005 +0000
     1.2 +++ b/Config.mk	Sat Aug 20 10:03:40 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