/* main function : do init and print the unique ID through the serial console.  */
int main(void)
/* main function : do init and print the unique ID through the serial console.  */
int main(void)
{
	uint32_t i;
	volatile uint8_t* unique_id_addr = (volatile uint8_t*) UNIQUE_ID_ADDR;
	sysclk_init();
	board_init();
	configure_console();
	printf("-- FLASHCALW Example2 --\r\n");
	printf("-- %s\n\r", BOARD_NAME);
	printf("-- Compiled: %s %s --\n\r", __DATE__, __TIME__);
	printf("ID: ");
	for (i=0; i<15; i++) {
		printf("%02x",*unique_id_addr++);
	}
	while (true) {
	}
}