Re: How to make FreeBSD's kernel boot a RPi4B with modern RPi* firmware

> Am 09.01.2023 um 00:27 schrieb Bjoern A. Zeeb <bzeeb-lists@lists.zabbadoz.net>:
> 
> On Sun, 8 Jan 2023, Klaus Küchemann wrote:
> 
>> What wasn’t clear for me is whether crashes like those from Björn Zeeb have any relation to firmware/u-boot/eeprom,
>> but reading closer I guess he’s probably using an unsupported bootloader that could cause problems,
> 
> I wouldn't call it "unsupported" just "non-default" but I am also on an RPi3B+ and not on a 4.
> 
> -- 
> Bjoern A. Zeeb                                                     r15:7


In 
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=268630 
we  fixed a boot issue on the 3b+ by a backup of older firmware I offered for download.
No clue if it could also help for your boot issue and whether it’s relevant for edk II, 
perhaps worth a try.

Regards

K.