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

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