My first try installing

I have the Jetson Nano develpment kit from Nvidia, and I'm trying to
install NetBSD on it. I followed the instructions here:

http://wiki.netbsd.org/ports/evbarm/tegra/

because I know this system has a Tegra module with a Cortex-A57 CPU.
I never heard the T1/X1 terminology before, so I'm not completely sure
this system is expected to work at all ... but looks close.

I flashed the NetBSD/arm64 live image on a 16G SD card; then I
downloaded and unpacked http://pkgsrc.se/sysutils/u-boot-jetson-tx1 ,
extracted the .bin file from it, and flashed that over the first part
of the SD (starting at 8k) as instructed here:

https://cdn.netbsd.org/pub/NetBSD/NetBSD-10.0/evbarm-aarch64/INSTALL.html

Then I tried to boot with a display connected to the HDMI port. Sadly,
I just get the Nvidia logo (probably from firmware) and nothing after
that.  Any help or direction is appreciated, but if I have to
formulate specific questions:

- is the Jetson Nano DK system known to work at all?

- is a console over HDMI supported, or do I have to use
  serial-over-USB console?

- am I doing something else quite wrong?

-- 
Ian