X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=5edd4543f1069b6801f937af4ff340b2726cdb64;hb=298a05652b5704f9881af0683e3f16fc4cd03959;hp=1d21516fce7b643caf2f9d87d23dea30119195c3;hpb=adfcd4fddcf65f9ec0e74acff09cf8f88d8ebd0d;p=palacios.releases.git

diff --git a/Kconfig b/Kconfig
index 1d21516..5edd454 100644
--- a/Kconfig
+++ b/Kconfig
@@ -357,6 +357,13 @@ config DEBUG_TIME
 	help
 	  This turns on debugging of system time virtualization
 
+config DEBUG_SCHEDULER
+    bool "Scheduler"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on debugging for scheduler
+
 config DEBUG_IO
 	bool "IO"
 	default n