*
* \version $Id$
* \author Bernie Innocenti <bernie@codewiz.org>
+ *
*/
#include <cfg/test.h>
int timer_testSetup(void)
{
IRQ_ENABLE;
- wdt_init(7);
+ wdt_start(7);
timer_init();
kdbg_init();
return 0;
return 0;
}
-#include TEST_ONLY(drv/timer.c)
-#include TEST_ONLY(drv/kdebug.c)
-#include TEST_ONLY(mware/event.c)
-#include TEST_ONLY(mware/formatwr.c)
-#include TEST_ONLY(mware/hex.c)
-#include TEST_ONLY(os/hptime.c)
-
TEST_MAIN(timer);