Which u-boot for rpi3? u-boot-rpi3-32 or the old one?

[bob prohaska]

On Tue, Jun 16, 2020 at 09:59:24PM -0700, Mark Millard wrote:
> 
> 
> On 2020-Jun-16, at 21:34, bob prohaska <fbsd at www.zefox.net> wrote:
> 
> > Just noticed there are now two u-boot ports for the RPi3, one
> > called u-boot-rpi3-32 and (the presumably original) u-boot-rpi3.
> > 
> > The descriptions are equally bland, what's the difference?
> > The goal is to boot a recent snapshot of -current from USB
> > using a Pi3b (no +). Now it's suffering from cpu_reset failed.
> 
> Looking, the check in history for sysutils/u-boot-rpi3-32

Could you write a few words about how one checks such history?
There doesn't seem to be anything in /usr/ports/UPDATING.

> reports for the creation of sysutils/u-boot-rpi3-32 :
> 
> Revision 536829 - Directory Listing 
> Added Fri May 29 01:27:16 2020 UTC (2 weeks, 5 days ago) by brd
> Add sysutils/u-boot-rpi3-32 to build a 32-bit version of u-boot
> 
> This is useful for using the camera hardware, as
> misc/raspberrypi-userland does not support aarch64.
> 
> Approved by:	imp, manu
> Differential Revision:	
> https://reviews.freebsd.org/D21603
> 
> 
> So:
> 
> A) sysutils/u-boot-rpi3 is for use with aarch64 FreeBSD
> B) sysutils/u-boot-rpi3-32 is for use with armv7 FreeBSD
> 
> 

Mine is case A, but Case B is a little puzzling; will armv7 
run on a Pi3 ? I thought arm64 was mandatory.

Thanks for reading and the speedy reply!

bob prohaska