#define CONFIG_KERN_IRQ 0
/**
- * Dynamic memory allocation for processes.
+ * Preemptive process scheduling.
+ *
* $WIZ$ type = "boolean"
- * $WIZ$ conditional_deps = "heap"
+ * $WIZ$ conditional_deps = "timer"
*/
-#define CONFIG_KERN_HEAP 0
+#define CONFIG_KERN_PREEMPT 0
/**
- * Size of the dynamic memory pool used by processes.
+ * Time sharing quantum (a prime number prevents interference effects) [ms].
+ *
* $WIZ$ type = "int"
- * $WIZ$ min = 0
+ * $WIZ$ min = 1
*/
-#define CONFIG_KERN_HEAP_SIZE 8192L
+#define CONFIG_KERN_QUANTUM 11
/**
- * Preemptive process scheduling.
- *
+ * Priority-based scheduling policy.
* $WIZ$ type = "boolean"
- * $WIZ$ conditional_deps = "timer"
*/
-#define CONFIG_KERN_PREEMPT 0
+#define CONFIG_KERN_PRI 0
/**
- * Priority-based scheduling policy.
+ * Dynamic memory allocation for processes.
* $WIZ$ type = "boolean"
+ * $WIZ$ conditional_deps = "heap"
*/
-#define CONFIG_KERN_PRI 0
+#define CONFIG_KERN_HEAP 0
/**
- * Time sharing quantum (a prime number prevents interference effects) [ms].
- *
+ * Size of the dynamic memory pool used by processes.
* $WIZ$ type = "int"
- * $WIZ$ min = 1
+ * $WIZ$ min = 0
*/
-#define CONFIG_KERN_QUANTUM 11
+#define CONFIG_KERN_HEAP_SIZE 2048L
/**
* Module logging level.