static void __init ek_map_io(void)
{
/* Initialize processor: 18.432 MHz crystal */
at91sam9261_initialize(18432000);
/* Setup the LEDs */
at91_init_leds(AT91_PIN_PA13, AT91_PIN_PA14);
/* DBGU on ttyS0. (Rx & Tx only) */
at91_register_uart(0, 0, 0);
/* Add USART0 USART1 USART2 */
at91_register_uart(AT91SAM9261_ID_US0, 1, 0);
at91_register_uart(AT91SAM9261_ID_US1, 2, 0);
at91_register_uart(AT91SAM9261_ID_US2, 3, 0);
/* set serial console to ttyS0 (ie, DBGU) */
at91_set_serial_console(0);
}