/* Initialize the clock system and output the CPU clock on pin PCK0 (please refer to datasheet for PIN number).  */
int main(void)
/* Initialize the clock system and output the CPU clock on pin PCK0 (please refer to datasheet for PIN number).  */
int main(void)
{
	struct genclk_config gcfg;
	sysclk_init();
	board_init();
	ioport_set_pin_mode(GCLK_PIN, GCLK_PIN_MUX);
	ioport_disable_pin(GCLK_PIN);
	genclk_config_defaults(&gcfg, GCLK_ID);
	genclk_config_set_source(&gcfg, GCLK_SOURCE);
	genclk_config_set_divider(&gcfg, GCLK_DIV);
	genclk_enable(&gcfg, GCLK_ID);
	while (1) {
	}
}