#include "signal.h"
-#include <cfg/cfg_timer.h>
+#include "cfg/cfg_timer.h"
#include <cfg/debug.h>
+#include <cfg/depend.h>
#include <cpu/irq.h>
#include <kern/proc.h>
#if CONFIG_KERN_SIGNALS
+// Check config dependencies
+CONFIG_DEPEND(CONFIG_KERN_SIGNALS, CONFIG_KERN);
+
/**
* Check if any of the signals in \a sigs has occurred and clear them.
*
/* Sleeping with IRQs disabled or preemption forbidden is illegal */
IRQ_ASSERT_ENABLED();
- ASSERT(proc_allowed());
+ ASSERT(proc_preemptAllowed());
/*
* This is subtle: there's a race condition where a concurrent