Am 14.06.24 um 18:57 schrieb Andrew Ball:
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.
I second the recommendation for the Raspberry Pi 4. Booting is the simplest thing ever: download Tianocore EDK2 for Raspberry Pi 4 and unzip the file into the EFI partition, add the EFI bootloader from NetBSD and you're all set.
I am running an RPi4 from a spinning-rust hard drive connected over USB. No SD card needed at all. Rock-solid, except some weeks ago when I had a drive failure :) I found that a HDD is actually not bad for running compiles. At least, its performance is more predictable than that of an SD card.
-- Benny