3

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?

Improve this question
6
  • 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, 2013 at 5:11
  • Yes there is the /boot/ folder but is empty
    – Mitro
    Mar 28, 2013 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, 2013 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, 2013 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, 2013 at 13:15

2 Answers 2

Reset to default
2

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).

Improve this answer
6
  • 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, 2013 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, 2015 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, 2015 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, 2015 at 14:09
  • @goldilocks /fat32/ is an arbitrary name here, as stated in the link. Wouldn't that inverse your comment?
    – Mast
    Mar 30, 2015 at 14:14
3

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!

Improve this answer

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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