* invalidate any other reasons why the executable file might be covered by
* the GNU General Public License.
*
- * Copyright 2001,2004 Develer S.r.l. (http://www.develer.com/)
- * Copyright 1999,2000,2001 Bernie Innocenti <bernie@codewiz.org>
+ * Copyright 2001, 2004 Develer S.r.l. (http://www.develer.com/)
+ * Copyright 1999, 2000, 2001, 2008 Bernie Innocenti <bernie@codewiz.org>
* -->
*
- * \brief Kernel configuration parameters
+ * \brief Kernel configuration parameters (deprecated)
*
- * \version $Id$
* \author Bernie Innocenti <bernie@codewiz.org>
*/
#ifndef CFG_KERN_H
#define CFG_KERN_H
-#include "cfg/cfg_arch.h" /* ARCH_EMUL */
+#warning This file is deprecated, you should use the correct combination of cfg_proc.h, cfg_sem.h, cfg_signal.h and cfg_monitor.h
+#include "cfg_proc.h"
+#include "cfg_sem.h"
+#include "cfg_signal.h"
+#include "cfg_monitor.h"
-/**
- * Enable the multithreading kernel.
- */
-#define CONFIG_KERNEL 0
/**
- * \name Optional kernel features
- *
- * \{
+ * Left for backwards compatibility.
+ * Do not use this anymore, will be deprecated soon.
*/
-/* Module/option Active Dependencies */
-#define CONFIG_KERN_SCHED (0)
-#define CONFIG_KERN_SIGNALS (0 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_TIMER (0)
-#define CONFIG_KERN_IRQ (0)
-#define CONFIG_KERN_HEAP (0)
-#define CONFIG_KERN_SEMAPHORES (0 && CONFIG_KERN_SIGNALS)
-#define CONFIG_KERN_MONITOR (0 && CONFIG_KERN_SCHED)
-#define CONFIG_KERN_PREEMPT (0 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER && CONFIG_KERN_IRQ)
-
-/* EXPERIMENTAL */
-
-/* OBSOLETE */
-#define CONFIG_KERN_PREEMPTIVE CONFIG_KERN_PREEMPT
-
-/// [ms] Time sharing quantum (a prime number prevents interference effects)
-#define CONFIG_KERN_QUANTUM 47
-
-/// Module logging level.
-#define KERN_LOG_LEVEL LOG_LVL_ERR
-
-/// Module logging format.
-#define KERN_LOG_FORMAT LOG_FMT_VERBOSE
+#define CONFIG_KERN_SCHED CONFIG_KERN
#endif /* CFG_KERN_H */