ia64/xen-unstable

view Config.mk @ 6328:d8fd24b43080

No 'boot error' message if booting secondary vcpu succeeds.
author kaf24@firebug.cl.cam.ac.uk
date Mon Aug 22 10:18:14 2005 +0000 (2005-08-22)
parents 6721abf6b16d
children 8c58bf335465 5f4724c13040 3a8f27c6d56c
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 -Werror -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
39 # ACM_USE_SECURITY_POLICY is set to security policy of Xen
40 # Supported models are:
41 # ACM_NULL_POLICY (ACM will not be built with this policy)
42 # ACM_CHINESE_WALL_POLICY
43 # ACM_SIMPLE_TYPE_ENFORCEMENT_POLICY
44 # ACM_CHINESE_WALL_AND_SIMPLE_TYPE_ENFORCEMENT_POLICY
45 ACM_USE_SECURITY_POLICY ?= ACM_NULL_POLICY