ia64/xen-unstable

view Config.mk @ 5836:07884fe7c5ce

Save per cpu IDT information into the VMCS host area.

Without this, we may be saving the IDT info from the wrong cpu into the
vmcs.
This makes domU work in the presence of VMX domains on SMP/HT enabled
machines.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Xiaofeng Ling <xiaofeng.ling@intel.com>=20
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
author kaf24@firebug.cl.cam.ac.uk
date Thu Jul 21 13:59:49 2005 +0000 (2005-07-21)
parents a83ac0806d6b
children 0d69d2ce73e9 565cec5b9cc2 d4fd332df775 8799d14bef77 e3d811cca4e1
line source
1 # -*- mode: Makefile; -*-
3 # Currently supported architectures: x86_32, x86_64
4 XEN_COMPILE_ARCH ?= $(shell uname -m | sed -e s/i.86/x86_32/)
5 XEN_TARGET_ARCH ?= $(XEN_COMPILE_ARCH)
6 XEN_TARGET_X86_PAE ?= n
8 # Tools to run on system hosting the build
9 HOSTCC = gcc
10 HOSTCFLAGS = -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer
12 AS = $(CROSS_COMPILE)as
13 LD = $(CROSS_COMPILE)ld
14 CC = $(CROSS_COMPILE)gcc
15 CPP = $(CROSS_COMPILE)gcc -E
16 AR = $(CROSS_COMPILE)ar
17 NM = $(CROSS_COMPILE)nm
18 STRIP = $(CROSS_COMPILE)strip
19 OBJCOPY = $(CROSS_COMPILE)objcopy
20 OBJDUMP = $(CROSS_COMPILE)objdump
22 ifeq ($(XEN_TARGET_ARCH),x86_64)
23 LIBDIR = lib64
24 else
25 LIBDIR = lib
26 endif
28 ifneq ($(EXTRA_PREFIX),)
29 EXTRA_INCLUDES += $(EXTRA_PREFIX)/include
30 EXTRA_LIB += $(EXTRA_PREFIX)/$(LIBDIR)
31 endif
33 LDFLAGS += $(foreach i, $(EXTRA_LIB), -L$(i))
34 CFLAGS += $(foreach i, $(EXTRA_INCLUDES), -I$(i))
36 # Choose the best mirror to download linux kernel
37 KERNEL_REPO = http://www.kernel.org