@stuartl You need to install EDK2 UEFI firmware to the SD card and boot NetBSD from USB.