Sometimes after setting up a micro SD card for use in a Raspberry Pi, it can be difficult to get it back to a normal out-of-the-box state. But the SD Card Formatter Tool from the SD Association can take care of it in seconds. It doesn’t give a lot of fancy options, but when it’s done, you’ve got a plain ol’ SD card like it came from the factory.