I've just installed Kali Linux on my SD card that I use with Raspberry. This new OS I think is very good, but at the installation I don't have the opportunity to overclock as it is possible with Raspbian so I'd like to try to check differences. How could I do?

  • I don't have Kali. But is there a /boot/ folder with a config.txt file in it? Alternatively if you put the SD card in a normal computer, is there a fat32 partition? – Vincent P Mar 27 '13 at 5:11
  • Yes there is the /boot/ folder but is empty – Mitro Mar 28 '13 at 11:24
  • 1
    Add the config.txt file and put some overclocking settings in there Overclocking Settings and see if that works. – Vincent P Mar 28 '13 at 12:31
  • 1
    config.txt is read by the hardware, afaik, so that should be the solution independent of your OS – krs013 Apr 30 '13 at 0:51
  • 1
    Guess I should have sourced that: "The Raspberry Pi config.txt file is read by the GPU before the ARM core is initialised. It can be used to set various system configuration parameters." (elinux.org/RPiconfig) – krs013 Apr 30 '13 at 13:15

While the post above me shows you how to install raspi-config, it won't actually get the config.txt file working. Simply making /boot/config.txt puts the file in the wrong place for the Kali install. I followed the instructions here: http://rageweb.info/2013/11/07/bootconfig-txt-in-kali/ and it worked for me. The problem is that /boot/ isn't actually the boot partition, so you are placing the file in the wrong place (even though it seems right).

  • Here there is the solution to install raspi-config rageweb.info/2013/03/21/raspi-config-in-kali but I still have problem with overclock :S – Mitro Mar 30 '13 at 22:07
  • The correct path seems to be /dev/mmcblk0p1/ instead of /boot/. The first is the actual boot partition in Kali. – Mast Mar 30 '15 at 11:24
  • @Mast No, the correct path by from that blog would be /fat32/. /dev/mmcblk0p1 is a device node representing the partition that is being mounted on the /fat32 directory (the "mount point"); after it's mounted, you can access the partition through the mount point directory. – goldilocks Mar 30 '15 at 14:03
  • If you then want to use raspi-config as per @AlessioMTX 's comment, you would have to edit /usr/bin/raspi-config and change CONFIG=/boot/config.txt (about line 9) to CONFIG=/fat32/config.txt. – goldilocks Mar 30 '15 at 14:09
  • @goldilocks /fat32/ is an arbitrary name here, as stated in the link. Wouldn't that inverse your comment? – Mast Mar 30 '15 at 14:14

While you may not be able to install raspi-config, you should still be able to create the file /boot/config.txt. Once config.txt is in /boot/, add any required parameters.

In your case, check out some of the overclocking options in the eLinux wiki. As always is the case with overclocking, be careful!

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.