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);