#ifndef DRV_AT91_TIMER_H
#define DRV_AT91_TIMER_H
-#include "hw_cpu.h" /* CLOCK_FREQ */
+#include "hw/hw_cpu.h" /* CLOCK_FREQ */
-#include <cfg/cfg_timer.h> /* CONFIG_TIMER */
+#include "cfg/cfg_timer.h" /* CONFIG_TIMER */
#include <cfg/compiler.h> /* uint8_t */
/**
*
* Select which hardware timer interrupt to use for system clock and softtimers.
*
- * \{
+ * $WIZ$ timer_select = "TIMER_ON_PIT", "TIMER_DEFAULT"
*/
#define TIMER_ON_PIT 1 ///< System timer on Periodic interval timer
#define TIMER_DEFAULT TIMER_ON_PIT ///< Default system timer
-/* \} */
/*
* Hardware dependent timer initialization.