/* 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_RTC_WriteBackupRegister(4, 0x1244);
		TM_DISCO_LedOn(LED_RED);
	} else {
		if (TM_RTC_ReadBackupRegister(4) == 0x1244) {
			TM_DISCO_LedOn(LED_GREEN);
		}
	}
	while (1) {
		if (TM_DISCO_ButtonPressed()) {
			NVIC_SystemReset();
		}
	}
}