---- x86/Kconfig: Options for Xen and PVH support

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>

diff --git a/xen/arch/x86/Kconfig b/xen/arch/x86/Kconfig
index 7c4582922f79d457d2b6309db33af94e30d907c5..c0b0bcdcb3ad46c822693f2b5a528083acdcdb6e 100644 (file)
--- a/xen/arch/x86/Kconfig
+++ b/xen/arch/x86/Kconfig
@@ -117,6 +117,23 @@ config TBOOT
          Technology (TXT)
 
          If unsure, say Y.
+
+config XEN_GUEST
+       def_bool n
+       prompt "Xen Guest"
+       ---help---
+         Support for Xen detecting when it is running under Xen.
+
+         If unsure, say N.
+
+config PVH_GUEST
+       def_bool n
+       prompt "PVH Guest"
+       depends on XEN_GUEST
+       ---help---
+         Support booting using the PVH ABI.
+
+         If unsure, say N.
 endmenu
 
 source "common/Kconfig"