*
* Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
* Copyright 1999,2000,2001 Bernie Innocenti <bernie@codewiz.org>
- *
* -->
*
* \brief Kernel configuration parameters
*
* \version $Id$
- *
* \author Bernie Innocenti <bernie@codewiz.org>
*/
#include "cfg/cfg_arch.h" /* ARCH_EMUL */
/**
- * Multithreading kernel.
+ * Enable the multithreading kernel.
*/
#define CONFIG_KERNEL 0
/**
- * \name Modules activation
+ * \name Optional kernel features
*
* \{
*/
/*\}*/
/* EXPERIMENTAL */
-#define CONFIG_KERN_PREEMPTIVE (0 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
+#define CONFIG_KERN_PREEMPT (0 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
+
+/* OBSOLETE */
+#define CONFIG_KERN_PREEMPTIVE CONFIG_KERN_PREEMPT
+
+/// Time sharing quantum in timer ticks.
+#define CONFIG_KERN_QUANTUM 50
-#define CONFIG_KERN_QUANTUM 50 /**< Time sharing quantum in timer ticks. */
+/// Module logging level.
+#define KERN_LOG_LEVEL LOG_LVL_ERR
-#define CONFIG_KERN_LOGLEVEL LOG_LVL_ERR
+/// Module logging format.
+#define KERN_LOG_FORMAT LOG_FMT_VERBOSE
#endif /* CFG_KERN_H */