andreiw / RaspberryPiPkg

DEPRECATED - DO NOT USE | Go here instead ->
https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3
746 stars 143 forks source link

Add support for setting a custom ARM frequency #117

Closed mariobalanica closed 5 years ago

mariobalanica commented 5 years ago

Note that voltages can't be dynamically changed through the mailbox interface, so if you want to overclock the Pi you'll have to set the "over_voltage" value manually.

"over_voltage=6" should do the trick (for the Pi 3 model B).

andreiw commented 5 years ago

Thanks. Looks great.