Report: FreeBSD on Rpi4 8 GB model

[Klaus Küchemann]

> Am 06.06.2020 um 20:15 schrieb Robert Crowston via freebsd-arm <freebsd-arm at freebsd.org>:
> 
> …...
> Edit board/raspberrypi/rpi/Kconfig, set RPI_EFI_NR_SPIN_PAGES to a larger number (I picked 10, probably too big, but it was easier than doing the arithmetic).
> 
> ……
> 

You mean that https://reviews.freebsd.org/D24085  rpi4_fragment has to set SPIN_PAGES from 2 to 10 ?
This could be done in sysutils/u-boot-rpi4 , perhaps with something like  an  #ifdef RPI4/8GB“ for the first try .