If you need to tweak really low-level options, such as boot settings or overclocking profiles, you'll need to edit the Raspberry Pi's config.txt file. Think of this in the same vein as the BIOS you'd ...