/* Configure serial Console. 
GLCK for SERCOM -> GCLK_GENERATOR_0 (8MHz) SERCOM instance -> 3 TXD -> PA22 RXD -> PA23 BAUDRATE -> 115200 STOP BIT -> 1 CHARACTER -> 8 PARITY -> NONE  */
void configure_console(void)
/* Configure serial Console. 
GLCK for SERCOM -> GCLK_GENERATOR_0 (8MHz) SERCOM instance -> 3 TXD -> PA22 RXD -> PA23 BAUDRATE -> 115200 STOP BIT -> 1 CHARACTER -> 8 PARITY -> NONE  */
void configure_console(void)
{
	struct usart_config conf_usart;
	usart_get_config_defaults(&conf_usart);
	conf_usart.baudrate = 115200;
	conf_usart.mux_setting = EDBG_CDC_SERCOM_MUX_SETTING;
	conf_usart.pinmux_pad0 = EDBG_CDC_SERCOM_PINMUX_PAD0;
	conf_usart.pinmux_pad1 = EDBG_CDC_SERCOM_PINMUX_PAD1;
	conf_usart.pinmux_pad2 = EDBG_CDC_SERCOM_PINMUX_PAD2;
	conf_usart.pinmux_pad3 = EDBG_CDC_SERCOM_PINMUX_PAD3;
	stdio_serial_init(&console_instance, EDBG_CDC_MODULE, &conf_usart);
	usart_enable(&console_instance);
}