Fwd: Newer development boards

Forgot to make email plain text. Apologies if this is a duplicate

-------- Forwarded Message --------
Subject: 	Re: Newer development boards
Date: 	Fri, 14 Jun 2024 12:49:50 -0400
From: 	Jason Mitchell <[email protected]>
To: 	Andrew Ball <[email protected]>
CC: 	Andy Ruhl <[email protected]>, [email protected] 
<[email protected]>



On 6/14/24 12:41 PM, Andrew Ball wrote:
> Hello Andy,
>
> ACR> What's a fun/useful board to run NetBSD on these days?
> > Something not super in demand so I can actually get one
> > preferably.
>
> I was hoping to see more replies to this question because I'm on
> the look-out too. I've had good luck with NetBSD/evbarm on 32-bit
> Raspberry Pi boards but I'm resisting the temptation to buy B+ boards
> because...
>
> ACR> Something that can run current levels as well, so decent memory
> > and CPU.
>
> That's why I would like to try NetBSD/evbarm on 64-bit ARM boards
> but that seems more difficult than the 32-bit Raspberry Pi where I can
> simply dump the image to an SD card.
>
> Thanks,
> -Andy.

Hello,

     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).

It's probably best to continue this on port-arm.

Thanks,

Jason M.