X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=9d3cbb90924b7e1f009e75ca4c369be9b365edac;hb=230a94162d544dbd0988f8addd8a6a42dafac572;hp=8ab4403a9ddd52c0f5ca06cf6e4dfb784aa17f72;hpb=21cfafd321b2a667808b2f0bcd089ff395ced431;p=palacios-OLD.git

diff --git a/Kconfig b/Kconfig
index 8ab4403..9d3cbb9 100644
--- a/Kconfig
+++ b/Kconfig
@@ -21,6 +21,7 @@ config LINUX
 	bool "Linux 2.6"
 	select BUILT_IN_STDLIB
 	select BUILT_IN_ATOI
+	select FILE
 	help
 	  This enables the necessary options to compile Palacios with Linux 2.6
           Currently, this is in development, and only 2.6.32 is verified to work
@@ -95,7 +96,6 @@ config CONSOLE
 	  Select this if you want to forward a guest console interface to some host OS service
 
 
-
 config SOCKET
 	bool "Host support for Network Sockets"
 	default y
@@ -213,6 +213,14 @@ config DEBUG_SHDW_PG_VTLB
 	help
 	  Enables debugging messages for VTLB implementation
 
+config SHADOW_PAGING_CACHE1
+	bool "Shadow Page Cache (1)"
+	default y
+	depends on SHADOW_PAGING
+	help 
+	   Enables caching implemenation for shadow paging
+
+
 endmenu