direct-io.hg

view config/x86_32.mk @ 11226:fc5736e0a2eb

[x86_64] Guests no longer set _PAGE_USER on kernel mappings.
This may allow guest kernels to be run outside ring 3 in future, and
also provides scope for optimisations today (e.g., using global bit on
user mappings).

Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Keir Fraser <keir@xensource.com>
author kfraser@localhost.localdomain
date Tue Aug 22 15:26:40 2006 +0100 (2006-08-22)
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 += -m32 -march=i686
9 LIBDIR := lib