ググればNetBSDを起動できたという記事が出てくるから、余裕ですぐ動かせるやろ(慢心)
……と、試してみたところ、起動途中でpanicする。
NetBSD 10でも11でもcurrentでも駄目。
オチは、UEFIをSPIフラッシュに、NetBSD(arm64.imgそのまま)をmicro SDカードに入れていたが、
sdmmc0: autoconfiguration error: couldn't identify card
sdmmc0: autoconfiguration error: no functions
と、SDが認識しないのでroot filesystemが見つからないと。何故かpanicの理由は、
panic: usbd_transfer: not done
なので一発では気付かなかったけれど、まあそういうものなんでしょう。
USB SSDから起動したらあっさり。