Arrow SoCKit Problem

I am using the SD Card to boot the Arrow SoCKit Cyclone V evaluation board. The messages on the serial port say that the board is starting Linux. However, when it never comes up with the Linux login prompt. See Figure below:

Maybe serial console is not configured for login in Linux. I remember that this must be configured somewhere in a config file in “/etc”.
Or maybe Linux re-configures serial console to a different baud rate during boot.