From: Jack Lange <jacklange@cs.pitt.edu>
Date: Wed, 16 Mar 2011 00:28:39 +0000 (-0500)
Subject: Set appropriate Linux Kconfig defaults
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=47442ee747e733aa5a1e215268b579cc8ebcad58

Set appropriate Linux Kconfig defaults
---

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