| http://www.w3.org/ns/prov#value | - In the latest Raspbian distro (you can download the Raspbian image directly or install it via the NOOBs installer, both available on our downloads page) there is an option to change the overclocking options on first boot and any time afterwards by running ???sudo raspi-config??? without voiding your warranty.
|