I highly recommend ditching the class 4 micro SD and purchasing a class 10 4GB to get more stability.
Does a 8GB micro SD work as well ? (That's the smallest I can get at my local store).
And is it just a matter of stopping the Titan, exchanging the SD card, and restarting it again? Or is there more to it?
Wasted space doesn't harm.
What is important is the class of the SD card (read/write speed).
Look for Class 10.
Switching to another SDcard is the same procedure like your SDcard corrupted.
1. Turn off the miner and remove the Micro SD card from the Raspberry Pi.
2. Download the V1.02 Titan .img file: https://github.com/KnCMiner/titan/releases
3.
Follow this link if you are using Windows for instructions on how to write the image to the SD Card http://www.raspberrypi.org/documenta...ges/windows.md
Follow this link if you are using MAC for instructions on how to write the image to the SD card: http://www.raspberrypi.org/documenta...-images/mac.md
Follow this link if you are using Linux for instructions on how to write the image to the SD card: http://www.raspberrypi.org/documenta...mages/linux.md
4. Insert the newly imaged SD card back into your Raspberry Pi and turn on the miner.
Prepare your new sdcard, shut down your miner, replace sdcard and restart.