RPi4B: modern firmware vs. Device tree loaded to 0x4000 (size 0xbe0c) [fails] vs. to 0x1f0000 (size 0xbd90) [works]?

[Klaus Cucinauomo]

> Am 14.10.2020 um 10:14 schrieb Mark Murray <markm at FreeBSD.org>:
> 
> Hi
> 
> Yes, thank you I'm aware of that. I was wondering if the fast-moving discussion was being turned into code equally fast anywhere :-)
> 
> M
> 

Hi, 

yes, issue is fixed up by raspberrypi .org in start4.elf, see :

https://github.com/raspberrypi/firmware/issues/1445#issuecomment-708722949

https://dmesgd.nycbug.org/index.cgi?do=view&id=5711


K.