ia64/xen-unstable

changeset 6964:52d953dcef0e

Do not build PAE by default. Reverts accidental previous
checkin.
author kaf24@firebug.cl.cam.ac.uk
date Mon Sep 19 15:43:26 2005 +0000 (2005-09-19)
parents ec01850d0ee9
children 08effcf0385b
files Config.mk
line diff
     1.1 --- a/Config.mk	Mon Sep 19 15:21:09 2005 +0000
     1.2 +++ b/Config.mk	Mon Sep 19 15:43:26 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