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