X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=9a7f7e7f98946abf4b68a8ffb65df5e5c75d0f9f;hb=a9a6c3664c8fdbdb9841a55d1a2fca7f4fa8f5de;hp=5397fecc5f52c6b299e95a8785791b4a81b6f343;hpb=2d71f2803382dcd293d98a81efe1a8dc3a08640f;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 5397fec..9a7f7e7 100644
--- a/Kconfig
+++ b/Kconfig
@@ -169,6 +169,14 @@ config EXPERIMENTAL
 	  The purpose of this option is to allow features under development to be committed to the mainline
 	  to more easily track changes and provide access to multiple developers
 
+config CHECKPOINT
+	bool "Enable Checkpointing"
+	default n
+	help 
+	  Temporary option to enable experimental checkpoint code
+
+
+
 endmenu