FreeBSD 13 not support boot form USB-MSD on rpi4.

[Klaus Cucinauomo]

> Am 12.10.2020 um 09:20 schrieb ykla <yklaxds at gmail.com>:
> 
> If I changed all boot files that form
> https://github.com/raspberrypi/firmware/tree/master/boot , rpi4 will be
> rainbow screen.
>  FreeBSD 13 not support boot form USB-MSD on rpi4.
> _______________________________________________

That’s the reason for the latest longer discussions related to RPI4(B) here on the list.

2 possibilities:

[1]. armstub8-gic.bin needs to be hacked further to get back compatibility to the upstream
or
[2]. armstub8-gic.bin is removed (as in most current Linux-distros(which are compatible with the upstream)),
 which needs further hacking in the fbsd-kernel(at least implement spinTables to initialize SMP).

Mark M. seems to be hoping for a possibility [3]( that we just have to change the address space of current armstubs).
I have no prove that this is  what Mark is searching for(just a GUESS) :-) Ha Ha 

By the way, thanks Mark for the 2nd gonzo-SMP-blogpost link.

K.