view unmodified_drivers/linux-2.6/platform-pci/Kbuild @ 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 <>
Signed-off-by: Keir Fraser <>
author kfraser@localhost.localdomain
date Tue Aug 22 15:26:40 2006 +0100 (2006-08-22)
parents b2f077bbca89
children 206e20b7b54e 7c2a5f96a192
line source
1 include $(M)/
3 obj-m := xen-platform-pci.o
5 EXTRA_CFLAGS += -I$(M)/platform-pci
7 xen-platform-pci-objs := evtchn.o platform-pci.o gnttab.o xen_support.o features.o