+#ifndef WIZ_AUTOGEN
+ #warning This file is deprecated, you should use timer_at91.c
+
+ #include <cpu/detect.h>
+ #include <cfg/cfg_arch.h>
+
+ #if CPU_ARM_AT91
+ #include "timer_at91.c"
+ /*#elif Add other ARM families here */
+ #else
+ #error Unknown CPU
+ #endif