* the GNU General Public License.
*
* Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
* the GNU General Public License.
*
* Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
-#define CONFIG_KERN_SCHED (1)
-#define CONFIG_KERN_SIGNALS (1 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_TIMER (1)
+#define CONFIG_KERN_SCHED (0)
+#define CONFIG_KERN_SIGNALS (0 && CONFIG_KERN_SCHED)
+#define CONFIG_KERN_TIMER (0)