Hello I have been using successfuly my RPi4 for months with UEFI firmware v1.37 from https://github.com/pftf/RPi4. It is solid rock. I have updated to NetBSD-10 Stable from source twice, one around october and one time more at the end of november by using binary sysupgrade path and appeared to be working fine.
netbsd-raspa4$ uname -a NetBSD netbsd-raspa4 10.0_STABLE NetBSD 10.0_STABLE (GENERIC64) #0: Thu Nov 28 16:37:05 UTC 2024 mkre...@mkrepro.netbsd.org:/usr/src/sys/arch/evbarm/compile/GENERIC64 evbarm I have just upgraded UEFI firmware to v1.39 by uncompressing it over /boot and NetBSD does not work well with it. First time I booted into the system it appeared to work but when I issued "reboot" kernel paniced. I rebooted again and wanted to do a pkgin update and pkgin upgrade and in the middle of firefox upgrading it paniced again. It definitely does not work ok. So I came back to UEFI v1.37 and it appears to be working fine again. Also have noted some strange things that occured not frequently before I did any firmware upgrade, also when using NetBSD-10.0 RELEASE. Sometimes after the reboot command the RPI4 did not come to life. I had to manually remove the power supply twice because it continued to be stuck and never saw the raspberry image boot screen that usually comes before the NetBSD loader comes. Just to see if someone has encountered the same problem. Regards. Ramiro.
