Re: Newer development boards (from netbsd-users)

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