X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=Kconfig;fp=Kconfig;h=ba89fa95b51837079a7995b8aff18ff382490c8b;hp=6b2cf2a283d9eeadafd15c45e84dff98ca9ae995;hb=66c338acdc299d7496da982999ff3cd3828e442a;hpb=68f8c4cd303c5da40c1083cbabdaf6395e4dbaa1

diff --git a/Kconfig b/Kconfig
index 6b2cf2a..ba89fa9 100644
--- a/Kconfig
+++ b/Kconfig
@@ -50,7 +50,24 @@ config LINUX_KERN
 config MINIX
 	bool "MINIX 3"
 	help
-	  This enables the necesary options to compile Palacios with Kitten
+	  This enables the necesary options to compile Palacios with Minix
+
+config NAUTILUS
+	bool "Nautilus"
+	select V3_DECODER
+        select FRAME_POINTER
+	help
+	  This enables the necessary options to compile Palacios 
+          for inclusion in the Nautilus kernel
+
+config NAUTILUS_KERN
+	depends on NAUTILUS
+	string "Nautilus Kernel Source directory" 
+	default "../nautilus"
+	help 
+	  This is the directory containing the 
+          Nautilus sources
+
 
 config OTHER_OS
 	bool "Other OS"