One of the tegra k1 reference boards that I am testing is not booting.
It hangs once powered on and after the message "
Serial: 8250/16550 driver, 4 ports, IRQ sharing disabled.
serial8250.0: ttyS0 at MMIO 0x700006300 (irq = 122) is a Tegra.
What might be the reason for the same.
thanks & regards,