#include <cpu/types.h>
#include <drv/irq_cm3.h>
+#include <drv/clock_cm3.h>
#include <kern/proc_p.h>
-#if CPU_CM3_LM3S
-#include <drv/clock_lm3s.h>
-#include <io/lm3s.h>
-#elif CPU_CM3_STM32
-#include <drv/clock_stm32.h>
-#include <io/stm32.h>
-#endif
+#include <io/cm3.h>
+#ifndef __IAR_SYSTEMS_ICC__
extern size_t __text_end, __data_start, __data_end, __bss_start, __bss_end;
+#endif
extern void __init2(void);