RPI - HDMI config.txt
As the Raspberry Pi doesn't have a conventional BIOS, the various system configuration parameters that would normally be kept and set using the BIOS are now stored in a text file named "config.txt". The Raspberry Pi config.txt file is read by the GPU before the ARM core is initialized. This file is an optional file on the boot partition. It would normally be accessible as /boot/config.txt from Linux, but from Windows (or OS X) it would be seen as a file in the accessible part of the card. To edit the configuration file, see the instructions at R-Pi_ConfigurationFile. You can get your current active settings with the following commands: vcgencmd get_config <config> - lists a specific config value. The format is "property=value" where value is an integer. Note: In the newer Raspberry Pi models there is # before every line, if you want changes to have an affect then 'uncomment' meaning remove the #. Here is an example file disable_l2cache disable ARM access to GPU's L2 cache. start_x=1 #!