Only allow CONFIG_XEN when not CONFIG_COREBOOT.

diff --git a/src/Kconfig b/src/Kconfig
index b9875c8471d6a9c38d117b93264aad0dd430e0d0..bbed963683fef7bd56a52b98aad1691f53ff1abf 100644 (file)
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -11,6 +11,7 @@ menu "General Features"
             Configure as a coreboot payload.
 
     config XEN
+        depends on !COREBOOT
         bool "Build for Xen HVM"
         default n
         help