From: Jack Lange <jacklange@cs.pitt.edu>
Date: Thu, 27 Oct 2011 19:23:10 +0000 (-0400)
Subject: moved checkpointing to an experimental feature
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=b2733fed458b61492b223633597e37ac18143b37;p=palacios-OLD.git

moved checkpointing to an experimental feature
---

diff --git a/Kconfig b/Kconfig
index b7fc9a0..7180d7a 100644
--- a/Kconfig
+++ b/Kconfig
@@ -163,6 +163,7 @@ config EXPERIMENTAL
 
 config CHECKPOINT
 	bool "Enable Checkpointing"
+	depends on EXPERIMENTAL && KEYED_STREAMS
 	default n
 	help 
 	  Temporary option to enable experimental checkpoint code