*
* \brief Kernel configuration parameters
*
- * \version $Id$
* \author Bernie Innocenti <bernie@codewiz.org>
*/
#define CONFIG_KERN 0
/**
- * Left for backwards compatibility, do not use.
- * Will be deprecated.
- */
-#define CONFIG_KERN_SCHED CONFIG_KERN
-
-/**
- * Kernel interrupt supervisor.
+ * Kernel interrupt supervisor. WARNING: Experimental, still incomplete!
* $WIZ$ type = "boolean"
+ * $WIZ$ supports = "False"
*/
#define CONFIG_KERN_IRQ 0
/**
- * Dynamic memory allocation for processes.
+ * Preemptive process scheduling.
*
* $WIZ$ type = "boolean"
+ * $WIZ$ conditional_deps = "timer"
*/
-#define CONFIG_KERN_HEAP 0
+#define CONFIG_KERN_PREEMPT 0
/**
- * Preemptive process scheduling. WARNING: Experimental, do not use!
+ * Time sharing quantum (a prime number prevents interference effects) [ms].
*
- * $WIZ$ type = "boolean"
+ * $WIZ$ type = "int"
+ * $WIZ$ min = 1
*/
-#define CONFIG_KERN_PREEMPT 0
+#define CONFIG_KERN_QUANTUM 11
/**
* Priority-based scheduling policy.
#define CONFIG_KERN_PRI 0
/**
- * Time sharing quantum (a prime number prevents interference effects) [ms].
- *
+ * Priority-inheritance protocol.
+ * $WIZ$ type = "boolean"
+ */
+#define CONFIG_KERN_PRI_INHERIT 0
+
+/**
+ * Dynamic memory allocation for processes.
+ * $WIZ$ type = "boolean"
+ * $WIZ$ conditional_deps = "heap"
+ */
+#define CONFIG_KERN_HEAP 0
+
+/**
+ * Size of the dynamic memory pool used by processes.
* $WIZ$ type = "int"
- * $WIZ$ min = "0"
+ * $WIZ$ min = 0
*/
-#define CONFIG_KERN_QUANTUM 47
+#define CONFIG_KERN_HEAP_SIZE 2048L
/**
* Module logging level.
#define KERN_LOG_LEVEL LOG_LVL_ERR
/**
- * Module logging level.
+ * Module logging format.
*
* $WIZ$ type = "enum"
- * $WIZ$ value_list = "log_level"
+ * $WIZ$ value_list = "log_format"
*/
#define KERN_LOG_FORMAT LOG_FMT_VERBOSE