* the GNU General Public License.
*
* Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
- * Copyright 1999,2000,2001 Bernardo Innocenti <bernie@develer.com>
+ * Copyright 1999,2000,2001 Bernie Innocenti <bernie@codewiz.org>
*
* -->
*
*
* \version $Id$
*
- * \author Bernardo Innocenti <bernie@develer.com>
+ * \author Bernie Innocenti <bernie@codewiz.org>
*/
-#ifndef CONFIG_KERN_H
-#define CONFIG_KERN_H
+#ifndef CFG_KERN_H
+#define CFG_KERN_H
-#include <cfg/arch_config.h> /* ARCH_EMUL */
+#include "cfg/cfg_arch.h" /* ARCH_EMUL */
+
+/**
+ * Multithreading kernel.
+ */
+#define CONFIG_KERNEL 0
/**
* \name Modules activation
* \{
*/
/* Module/option Active Dependencies */
-#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)
#define CONFIG_KERN_HEAP (0)
#define CONFIG_KERN_SEMAPHORES (0 && CONFIG_KERN_SIGNALS)
-#define CONFIG_KERN_MONITOR (1 && CONFIG_KERN_SCHED)
+#define CONFIG_KERN_MONITOR (0 && CONFIG_KERN_SCHED)
/*\}*/
/* EXPERIMENTAL */
#endif
#endif
-
-#endif /* CONFIG_KERN_H */
+#endif /* CFG_KERN_H */