In a sense, this is understandable. While Raspbian OS is specifically designed for the Pi, it’s not exactly perfect — what operating system? Similarly, the Raspberry Pi is designed to be used «as is». It seems that the developers initially doubted that someone would want to overclock the device.
Use a faster SD card
For occasional use, you can use low quality SD cards or even microSD cards in SD card adapters, but for regular use, you’ll need a reliable and fast card. Remember that the SD card is the Raspberry Pi’s built-in storage — on a desktop it would be the hard drive, so what we’re suggesting here is no different than buying and installing a faster hard drive.
SD cards vary in price and size. In most cases, an 8GB card should have enough storage space, though if you’re on a budget, be careful!
When installing Raspbian and any distributions associated with it, you will be offered the option to enlarge the partition. This means that instead of an operating system located on a 2 GB partition as defined in the image, you can expand the partition so that it fills the entire SD card.
This is achieved by booting the Raspberry Pi and using the configuration menu to select the EXPAND-ROOTFS option. If you don’t see it, you need to open a command prompt and type
From here select the option » Extend root partition until SD card is full» and wait until the size of the SD card changes.