X-Git-Url: https://git.openfabrics.org/?p=~shefty%2Frdma-dev.git;a=blobdiff_plain;f=arch%2Fx86%2Fxen%2FKconfig;fp=arch%2Fx86%2Fxen%2FKconfig;h=131dacd2748a0faedc9986c112652ec52875ab1d;hp=9a6775c9ddca2dc3436b255b0153c2745cba4b9e;hb=896ea17d3da5f44b2625c9cda9874d7dfe447393;hpb=c7708fac5a878d6e0f2de0aa19f9749cff4f707f

diff --git a/arch/x86/xen/Kconfig b/arch/x86/xen/Kconfig
index 9a6775c9ddc..131dacd2748 100644
--- a/arch/x86/xen/Kconfig
+++ b/arch/x86/xen/Kconfig
@@ -6,6 +6,7 @@ config XEN
 	bool "Xen guest support"
 	select PARAVIRT
 	select PARAVIRT_CLOCK
+	select XEN_HAVE_PVMMU
 	depends on X86_64 || (X86_32 && X86_PAE && !X86_VISWS)
 	depends on X86_TSC
 	help