On Thursday, December 3, 2015, Kevin Hilman <khilman@kernel.org> wrote:
aaaaah! I wasn't expecting partial output on UART0, then on UART3.

Yea.. the partial output can usually be ignored for the most part unless you're working on those components directly.
After setting the right jumper settings on the UART board, I'm now
seeing the BL1 on UART0 and the rest on UART3 (a.k.a. UART1 on the UART
board... which is also confusing.)

Oh right. You can set the jumper to UART0 as well if you don't have the 4-pin header on the main board so I guess technically the UART board is both 0 and 3, not just 3 (or 1 if we want to confuse ourselves further :s).

Thanks for the explanation and the help.

You're welcome.

Next step, built a mainline u-boot that's using the UART board...

Fyi both arm-tf and edk2 have a build time option to use UART0 for those who prefer it. Not sure if that's required for u-boot or not. For the kernel you can just change the boot command line to use UART0 so no rebuilding required. See https://github.com/96boards/documentation/wiki/HiKeyUEFI for details.