From 8f05c958b01d16ebb214835bde1e0aff23e73479 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Wed, 12 Dec 2007 10:15:29 +0000 Subject: [PATCH] xen: make gntdev code configurable Signed-off-by: Jan Beulich --- drivers/xen/Kconfig | 7 +++++++ drivers/xen/Makefile | 2 +- drivers/xen/gntdev/Makefile | 2 +- 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/drivers/xen/Kconfig b/drivers/xen/Kconfig index a6c78b01..efb69e13 100644 --- a/drivers/xen/Kconfig +++ b/drivers/xen/Kconfig @@ -187,6 +187,13 @@ config XEN_NETDEV_FRONTEND dedicated device-driver domain, or your master control domain (domain 0), then you almost certainly want to say Y here. +config XEN_GRANT_DEV + tristate "User-space granted page access driver" + default XEN_PRIVILEGED_GUEST + help + Device for accessing (in user-space) pages that have been granted + by other domains. + config XEN_FRAMEBUFFER tristate "Framebuffer-device frontend driver" depends on XEN && FB diff --git a/drivers/xen/Makefile b/drivers/xen/Makefile index 015dd39f..85a16f4f 100644 --- a/drivers/xen/Makefile +++ b/drivers/xen/Makefile @@ -2,7 +2,6 @@ obj-y += core/ obj-y += console/ obj-y += evtchn/ obj-y += xenbus/ -obj-y += gntdev/ obj-y += char/ obj-y += util.o @@ -18,3 +17,4 @@ obj-$(CONFIG_XEN_PCIDEV_FRONTEND) += pcifront/ obj-$(CONFIG_XEN_FRAMEBUFFER) += fbfront/ obj-$(CONFIG_XEN_KEYBOARD) += fbfront/ obj-$(CONFIG_XEN_PRIVCMD) += privcmd/ +obj-$(CONFIG_XEN_GRANT_DEV) += gntdev/ diff --git a/drivers/xen/gntdev/Makefile b/drivers/xen/gntdev/Makefile index 6fbcd644..8bd8c62e 100644 --- a/drivers/xen/gntdev/Makefile +++ b/drivers/xen/gntdev/Makefile @@ -1 +1 @@ -obj-y := gntdev.o +obj-$(CONFIG_XEN_GRANT_DEV) := gntdev.o -- 2.39.5