[coreboot] Using High Speed UART1 as Serial port on CoreBoot (MinnowBoard)

[Adrian Perez Resa]

Hello everybody,

I am newby with minnow board and CoreBoot.
I am trying to use HIGH Speed UART1 as Serial port on CoreBoot (SIO_UART 1 pins) with no success.

I have tried to configure CoreBoot with the following options:

-          Console > Index for UART port to use for console -> '0'

o   Baud rate 115200

But I don't know exactly what serial port I am using...

High speed UART 1 (SIO UART 1) is connected to JP1 Header in minnow Board.
However, Serial port seems to be always on the default debug UART (connector J4 on Minnow Board).
This Debug UART is attached at ATOM GPIOS GPIO_S0_SC_57 and GPIO_S0_SC_61 pins.

Does anybody know what options are necessary to change for using a different uart than the default one...?

Thanks in advance!

Best regards