Andy (RattusRattus) and I have been formalising instructions for using Pete Batard's version of Tianocore (and therefore #UEFI booting) for the #Raspberry #Pi 4 together with a #Debian #arm64 netinst to make a modified Debian installer on a #USB stick which "just works" for a Raspberry Pi 4.

Thanks also to Steve McIntyre for initial notes that got this working for us and also to Emmanuele Rocca for putting up some useful instructions for copying.

http://flosslinuxblog.blogspot.com/2023/11/20231123-uefi-install-on-raspberry-pi-4.html