* Copyright 2000, 2008 Bernie Innocenti <bernie@codewiz.org>
* -->
*
+ * \defgroup drv_timers Timer module
+ * \ingroup core
+ * \{
+ *
* \brief Hardware independent timer driver.
*
* All timer related functions are implemented in this module. You have several options to use timers:
#endif /* CONFIG_KERN_SIGNALS */
+/** \} */ //defgroup drv_timers
+
#endif /* DRV_TIMER_H */