summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
ecc3d92)
* \author Bernie Innocenti <bernie@codewiz.org>
*/
* \author Bernie Innocenti <bernie@codewiz.org>
*/
+#include <cfg/cfg_kern.h>
+
+#if CONFIG_KERN_PREEMPT
+
#include "proc_p.h"
#include "proc.h"
#include "proc_p.h"
#include "proc.h"
#include <cpu/irq.h> // IRQ_DISABLE()...
#include <drv/timer.h>
#include <cfg/module.h>
#include <cpu/irq.h> // IRQ_DISABLE()...
#include <drv/timer.h>
#include <cfg/module.h>
+#include <cfg/depend.h> // CONFIG_DEPEND()
+
+// Check config dependencies
+CONFIG_DEPEND(CONFIG_KERN_PREEMPT, CONFIG_KERN_SCHED && CONFIG_TIMER_EVENTS && CONFIG_KERN_IRQ);
+CONFIG_DEPEND(CONFIG_KERN_PRI, CONFIG_KERN_PREEMPT);
timer_add(&preempt_timer);
idle_init();
timer_add(&preempt_timer);
idle_init();
+
+#endif // CONFIG_KERN_PREEMPT