Newer development boards (from netbsd-users)

[Andrew Ball <asbatwrk%gmail.com@localhost>]

Hello Jason,

   JM> The Raspberry Pi 4 is 64bit and there's someone who generates
     > images for it on a daily basis.  Also, the Raspberry Pi EFI +
     > arm64.img will work.  For other platforms check out
     > https://nycdn.netbsd.org/pub/arm/ for pre-built images for a
     > variety of ARM boards (many 64bit).

    Thanks.  I was looking for those on the FTP site which is where I
find the 32-bit Raspberry Pi image.

-Andy.