*/
#include "timer.h"
+#include "hw/hw_timer.h"
#include "cfg/cfg_timer.h"
#include "cfg/cfg_wdt.h"
//#include OS_CSOURCE(timer)
#include <emul/timer_posix.c>
#else
- #include CPU_CSOURCE(timer)
+ #ifndef WIZ_AUTOGEN
+ #warning Deprecated: now you should include timer_<cpu> directly in the makefile. Remove this line and the following once done.
+ #include CPU_CSOURCE(timer)
+ #endif
#endif
/*