On 2020/05/20 09:31, Mark Kettenis wrote: > Note that the latest official release now has the "rgmii-rxid" issue > fixed so you can grab the files from > > https://github.com/raspberrypi/firmware/tree/master/boot > > instead.
I haven't tested on my machine yet but it looks like the UEFI firmware builds at https://github.com/pftf/RPi4/releases started including a fixed one in 1.10 (and it changed again in 1.12). So hopefully this is a non- issue with the newer firmware. Will try to remember to check this later. > Maybe we should ask jsg@ to update the firmware package again? I think it makes sense to update, but we aren't using it on RPi4 anyway are we?
