Re: [edk2-devel] [edk2-platforms: PATCH 2/2] Platform/Rpi3: Add custom CPU frequency support

Hi Leif, On 2019.07.03 12:42, Leif Lindholm wrote: On Tue, Jul 02, 2019 at 05:13:41PM +0100, Pete Batard wrote: Allow users to set a custom CPU frequency [100 - 1600 MHz] in 'Device Manager' -> 'Raspberry Pi Configuration'. Signed-off-by: Pete Batard ---

Re: [edk2-devel] [edk2-platforms: PATCH 2/2] Platform/Rpi3: Add custom CPU frequency support

On Tue, Jul 02, 2019 at 05:13:41PM +0100, Pete Batard wrote: > Allow users to set a custom CPU frequency [100 - 1600 MHz] > in 'Device Manager' -> 'Raspberry Pi Configuration'. > > Signed-off-by: Pete Batard > --- > Platform/RaspberryPi/RPi3/Drivers/ConfigDxe/ConfigDxe.c | 13 >