-#ifndef DRV_TIMER_AVR_H
-#define DRV_TIMER_AVR_H
-
-#include "hw/hw_cpu.h" /* CLOCK_FREQ */
-
-#include "cfg/cfg_timer.h" /* CONFIG_TIMER */
-#include <cfg/compiler.h> /* uint8_t */
-#include <cfg/macros.h> /* DIV_ROUND */
-
-
-/**
- * \name Values for CONFIG_TIMER.
- *
- * Select which hardware timer interrupt to use for system clock and softtimers.
- * \note The timer 1 overflow mode set the timer as a 24 kHz PWM.
- *
- * \{
- */
-#define TIMER_ON_OUTPUT_COMPARE0 1
-#define TIMER_ON_OVERFLOW1 2
-#define TIMER_ON_OUTPUT_COMPARE2 3
-#define TIMER_ON_OVERFLOW3 4
-
-#define TIMER_DEFAULT TIMER_ON_OUTPUT_COMPARE0 ///< Default system timer
-/* \} */
-
-/*
- * Hardware dependent timer initialization.
- */
-#if (CONFIG_TIMER == TIMER_ON_OUTPUT_COMPARE0)
-
- #define TIMER_PRESCALER 64
- #define TIMER_HW_BITS 8
- #if CPU_AVR_ATMEGA1281 || CPU_AVR_ATMEGA168
- #define DEFINE_TIMER_ISR SIGNAL(SIG_OUTPUT_COMPARE0A)
- #else
- #define DEFINE_TIMER_ISR SIGNAL(SIG_OUTPUT_COMPARE0)
- #endif
- #define TIMER_TICKS_PER_SEC 1000
- #define TIMER_HW_CNT OCR_DIVISOR
-
- /// Type of time expressed in ticks of the hardware high-precision timer
- typedef uint8_t hptime_t;
-
-#elif (CONFIG_TIMER == TIMER_ON_OVERFLOW1)