*
* \brief Hardware independent timer driver (implementation)
*
- * \version $Id$
* \author Bernie Innocenti <bernie@codewiz.org>
*
*/
{
size_t i;
+ LIST_INIT(&synctimer_list);
for (i = 0; i < countof(synctimer_timers); ++i)
{
Timer *timer = &synctimer_timers[i];
IRQ_ENABLE;
wdt_start(7);
timer_init();
- LIST_INIT(&synctimer_list);
kdbg_init();
return 0;
}