Split cpu/cpu.h in 3 files: irq, types and attr.
[bertos.git] / cpu / arm / drv / timer_at91.c
index efe37d5a2b6b8d0f0c3b843eaaf0a0f20f77ab09..e27e8a63e34e44ad8e692bcfff7cced167adde62 100644 (file)
@@ -43,7 +43,8 @@
 
 #include <cfg/macros.h> // BV()
 #include <cfg/module.h>
-#include <cpu/cpu.h>
+#include <cpu/irq.h>
+#include <cpu/types.h>
 
 
 /** HW dependent timer initialization  */