X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=7c72acedd0684e2f580afac703fd51990b2e51bb;hb=06d03d7a409436fc010ece4b0473364d5e269884;hp=5374402cdf57f9d3ba548061e5617edfd6488286;hpb=ed4aa27a4901310df5fa1127ad62645da1bb4802;p=palacios-OLD.git

diff --git a/Kconfig b/Kconfig
index 5374402..7c72ace 100644
--- a/Kconfig
+++ b/Kconfig
@@ -30,8 +30,10 @@ config LINUX_BUILTIN
 config LINUX
 	bool "Linux Module"
 	select BUILT_IN_STDLIB
+	select BUILT_IN_STRDUP
 	select BUILT_IN_ATOI
 	select FILE
+	select V3_DECODER
 	help
 	  This enables the necessary options to compile Palacios as a Linux module
  
@@ -86,6 +88,7 @@ choice
 
 config XED
 	bool "XED decoder library"
+	depends on !LINUX
 	help
 	   This uses the XED decoder library from pintools