X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=bios%2Fseabios%2Fsrc%2FKconfig;h=08471c307804df5c2633ff4c2f332fd759c50df9;hb=de96f467a8d9ca35ad81bd21df696933fdc7e728;hp=338f51a68f19d353c0d839761d7d1e8731a41616;hpb=ab1e08bb6653d0d65ff64ea8f42506b9fd502357;p=palacios.git

diff --git a/bios/seabios/src/Kconfig b/bios/seabios/src/Kconfig
index 338f51a..08471c3 100644
--- a/bios/seabios/src/Kconfig
+++ b/bios/seabios/src/Kconfig
@@ -4,19 +4,27 @@ mainmenu "SeaBIOS Configuration"
 
 menu "General Features"
 
+  choice
+    prompt "Target"
+    default PALACIOS
+
     config COREBOOT
         bool "Build for coreboot"
-        default n
         help
             Configure as a coreboot payload.
 
     config XEN
-        depends on !COREBOOT
         bool "Build for Xen HVM"
-        default n
         help
             Configure to be used by xen hvmloader, for a HVM guest.
 
+    config PALACIOS
+        bool "Build for Palacios VMM"
+        help
+            Configure to be used by the Palacios VMM for a regular or ROS guest
+
+  endchoice
+
     config THREADS
         bool "Parallelize hardware init"
         default y