x86: expose CONFIG_PV

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>

diff --git a/xen/arch/x86/Kconfig b/xen/arch/x86/Kconfig
index 12b68a854478f047371dde342b11e2e97fbb04df..5c2d1070b657635b9fb959fb0c69e8cf4a685307 100644 (file)
--- a/xen/arch/x86/Kconfig
+++ b/xen/arch/x86/Kconfig
@@ -37,6 +37,14 @@ source "arch/Kconfig"
 
 config PV
        def_bool y
+       prompt "PV support"
+       ---help---
+         Interfaces to support PV domains. These require guest kernel support
+         to run as a PV guest, but don't require any specific hardware support.
+
+         This option is needed if you want to run PV domains.
+
+         If unsure, say Y.
 
 config PV_LINEAR_PT
        bool "Support for PV linear pagetables"