#include "adc_at91.h"
+#include <cpu/irq.h>
+
#include "cfg/cfg_adc.h"
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_proc.h"
+#include "cfg/cfg_signal.h"
#include <cfg/macros.h>
#include <cfg/compiler.h>
#if CONFIG_KERN
// Ensure IRQs enabled.
- ASSERT(IRQ_ENABLED());
+ IRQ_ASSERT_ENABLED();
sig_wait(SIG_ADC_COMPLETE);
#else
//Wait in polling until is done