/* Before you start, select your target, on the right of the "Load" button */
int main(void)
/* Before you start, select your target, on the right of the "Load" button */
int main(void)
{
		TM_DISCO_LedOn(LED_RED);
	} else {
		TM_DISCO_LedOn(LED_GREEN);
	}
	while (1) {
		while (TM_DISCO_ButtonPressed());
		TM_WATCHDOG_Reset();
	}
}