Jeremy Linton

Yah, just a reply-all with the Tested-by bit following the patch subject (near the signoff-by) is the usual form. Against the cover letter rather than a particular patch tends to...

Well this mostly works in F35 (by mostly I mean it doesn't). It does, however, write everything to the swap partition, and run the power off sequence. Then after manually...

Yes, i'm good with adding additional GPIO pins, although this could get out of hand. I have a TODO to autodetect some of these HAT's that follow the Pi HAT...

Hmm, that means you should do something about letting the user know that the serial console will be disabled (and disabling it) if GPIO 14 is selected as the fan...

Oh another RTC, this isn't really a device tree thing as UEFI has runtime support for RTC's that should be the primary enablement path (for the time being). If you...

No, it doesn't work. There is a difference between the uefi standard and edk2 supporting it, and a driver existing for a particular device. I started implementing the RTC, on...

I think that thing might be compatible with the Ds1307, which has a driver already, and is have working). So see if this branch helps any: https://github.com/jlinton/edk2-platforms/tree/cppc6-various-fixes-vc4aml-mailboxspinlock-xhcipci-clocktweaks-spiv5

It may be that having any value in arm_freq is enough to remove the 1.5Ghz clamp, but I need to verify that fully.

So, there is a field in the set clock mailbox "skip setting turbo" which is likely at least part of the problem here. If I clear it with recent vc4...

``` // diff --git a/Platform/RaspberryPi/Drivers/ConfigDxe/ConfigDxe.c b/Platform/RaspberryPi/Drivers/ConfigDxe/ConfigDxe.c index afda5ffaa6..848e3d830c 100644 --- a/Platform/RaspberryPi/Drivers/ConfigDxe/ConfigDxe.c +++ b/Platform/RaspberryPi/Drivers/ConfigDxe/ConfigDxe.c @@ -413,7 +413,7 @@ ApplyVariables ( if (Rate != 0) { DEBUG ((DEBUG_INFO, "Setting CPU speed to...