ia64/xen-unstable

view config/x86_64.mk @ 11706:64290e7622d2

[IA64] Prevent domains to itc/ptd in shared_info_va.

Signed-off-by: Tristan Gingold <tristan.gingold@bull.net>
author awilliam@xenbuild.aw
date Mon Oct 02 21:30:51 2006 -0600 (2006-10-02)
parents f35b9950843c
children ed9c393b3c4f
line source
1 CONFIG_X86 := y
2 CONFIG_HVM := y
3 CONFIG_MIGRATE := y
4 CONFIG_XCUTILS := y
5 CONFIG_IOEMU := y
6 CONFIG_MBOOTPACK := y
8 CFLAGS += -m64
9 LIBDIR = lib64