/* Initialize the clock system and blink a LED at a constant 1 Hz frequency.  */
int main(void)
/* Initialize the clock system and blink a LED at a constant 1 Hz frequency.  */
int main(void)
{
	sysclk_init();
	board_init();
	if (SysTick_Config(sysclk_get_cpu_hz() / 1000)) {
		while (1) {
		}
	}
	while (1) {
		ioport_toggle_pin_level(EXAMPLE_LED_GPIO);
		mdelay(500);
	}
}