ia64/xen-unstable

view unmodified_drivers/linux-2.6/overrides.mk @ 15225:ca62b4b4f762

LINUX/x86_64: Cleanup 15129:a40967e39652 by using __pgd rather than
abusing mk_kernel_pgd.

Also set the user bit on the vsyscall entry in the user pgd.

Both changes suggested by Jan Beulich.

Signed-off-by: Ian Campbell <ian.campbell@xensource.com>
author Ian Campbell <ian.campbell@xensource.com>
date Fri May 25 11:24:02 2007 +0100 (2007-05-25)
parents afc6f31b7c90
children 3d97c1c1f7c8
line source
1 # Hack: we need to use the config which was used to build the kernel,
2 # except that that won't have the right headers etc., so duplicate
3 # some of the mach-xen infrastructure in here.
4 #
5 # (i.e. we need the native config for things like -mregparm, but
6 # a Xen kernel to find the right headers)
7 EXTRA_CFLAGS += -D__XEN_INTERFACE_VERSION__=0x00030205
8 EXTRA_CFLAGS += -DCONFIG_XEN_COMPAT=0xffffff
9 EXTRA_CFLAGS += -I$(M)/include -I$(M)/compat-include -DHAVE_XEN_PLATFORM_COMPAT_H
10 ifeq ($(ARCH),ia64)
11 EXTRA_CFLAGS += -DCONFIG_VMX_GUEST
12 endif
14 EXTRA_CFLAGS += -include $(srctree)/include/linux/autoconf.h