/* Configure Timer Counter 0 (TC0) to generate an interrupt every second. This interrupt will be used to display the number of bytes received on the UART.  */
static void configure_tc0(void)
/* Configure Timer Counter 0 (TC0) to generate an interrupt every second. This interrupt will be used to display the number of bytes received on the UART.  */
static void configure_tc0(void)
{
	pmc_enable_periph_clk(ID_TC0);
	tc_init(TC0, 0, 0x4 | TC_CMR_ACPC_SET | TC_CMR_WAVE
			| TC_CMR_ACPA_CLEAR | (0x2 << 13));
	TC0->TC_CHANNEL[0].TC_RA = 16384;
	TC0->TC_CHANNEL[0].TC_RC = 32768;
}