Use configuration file instead appconfig. Reformat. Clean up. Remove CVS logs.

[bertos.git] / bertos / drv / timer.h

diff --git a/bertos/drv/timer.h b/bertos/drv/timer.h
index cd7aa1b48f6344f8bda8d235a4557b1b901b3f4b..76f4f31f95a59bb9e7a63a4438fb701515ca05ee 100644 (file)
--- a/bertos/drv/timer.h
+++ b/bertos/drv/timer.h
@@ -31,11 +31,12 @@
  *
  * -->
  *
+ * \brief Hardware independent timer driver (interface)
+ *
  * \version $Id$
  *
  * \author Bernardo Innocenti <bernie@develer.com>
  *
- * \brief Hardware independent timer driver (interface)
  */
 
 #ifndef DRV_TIMER_H
@@ -43,6 +44,7 @@
 
 #include <cfg/os.h>
 #include <cfg/macros.h>
+
 #include <cpu/attr.h>
 #include <cpu/irq.h>
 
@@ -57,10 +59,11 @@
        #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;