Jeremy Linton

Yes, this is a pi4. Firmware from a month or so ago. I get the impression that this is one of those things that changes depending on which vc4 firmware...

I modified/created a pile of ACPI/VC bindings for the HDMI/PVA/TXP/HVS devices nesting them under a parent GPU device a week or two back and hacked up the Linux driver enough...

I've not spent a lot of cycles on the PI. Lately, There is a fairly large backlog of changes that need to be upstreamed for it, which have been getting...

I haven't tried secure booting the rpi, but secure boot is enabled in the public firmware builds (-DSECURE_BOOT_ENABLE=TRUE), although I don't think (or didn't see when I looked at it...

The EnrollDefaultKeys.efi utility can be built for armvirt as well, then it just needs to be run against the firmware. I've had various sets of patches to do that for...

So the keyboard is attached to the DWC2 controller. If so you will need: https://lkml.org/lkml/2021/4/7/1725 and https://edk2.groups.io/g/devel/topic/patch_3_3/81935645?p=,,,20,0,0,0::recentpostdate%2Fsticky,,,20,2,0,81935645 Although, its possible that second patch is in error, and we need to...

The next version of the firmware should have this fixed.

For it to work with a linux/DT you also need to change the default sd pin muxing, which is in the current firmware but you really need the patches I...

I've also just gotten patches merged to the latest linux-firmware repos which link the correct firmware based on the DMI strings we export. Basically just hang on a couple weeks...

I don't think that is needed, you just need a recent firmware repo https://git.kernel.org/pub/scm/linux/kernel/git/firmware/linux-firmware.git/commit/?id=05789708b79b38eb0f1a20d8449b4eb56d39b39f