* 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
- *
- * \version $Id$
+ * \brief Kernel configuration parameters (deprecated)
*
* \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"
-/**
- * Multithreading kernel.
- */
-#define CONFIG_KERNEL 0
/**
- * \name Modules activation
- *
- * \{
+ * 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_HEAP (0)
-#define CONFIG_KERN_SEMAPHORES (0 && CONFIG_KERN_SIGNALS)
-#define CONFIG_KERN_MONITOR (0 && CONFIG_KERN_SCHED)
-/*\}*/
-
-/* EXPERIMENTAL */
-#define CONFIG_KERN_PREEMPTIVE (0 && CONFIG_KERN_SCHED && CONFIG_KERN_TIMER)
-
-#define CONFIG_KERN_QUANTUM 50 /**< Time sharing quantum in timer ticks. */
-
+#define CONFIG_KERN_SCHED CONFIG_KERN
#endif /* CFG_KERN_H */