* the GNU General Public License.
*
* Copyright 2003, 2004, 2005 Develer S.r.l. (http://www.develer.com/)
- * Copyright 2000 Bernardo Innocenti <bernie@develer.com>
+ * Copyright 2000 Bernie Innocenti <bernie@codewiz.org>
*
* -->
*
+ * \brief Hardware independent timer driver (interface)
+ *
* \version $Id$
*
- * \author Bernardo Innocenti <bernie@develer.com>
+ * \author Bernie Innocenti <bernie@codewiz.org>
*
- * \brief Hardware independent timer driver (interface)
*/
#ifndef DRV_TIMER_H
#include <cfg/os.h>
#include <cfg/macros.h>
+
#include <cpu/attr.h>
#include <cpu/irq.h>
#include CPU_HEADER(timer)
#endif
-#include <mware/list.h>
+#include "cfg/cfg_timer.h"
#include <cfg/debug.h>
#include <cfg/compiler.h>
-#include <appconfig.h>
+
+#include <mware/list.h>
extern volatile ticks_t _clock;