main.cpp

#include "mbed.h"
#include "SDBlockDevice.h"
#include "FATFileSystem.h"

#define LED_ON  MBED_CONF_APP_LED_ON
#define LED_OFF (!(MBED_CONF_APP_LED_ON))

// Progress indicator
DigitalOut led(MBED_CONF_APP_STATUS_LED);

int main(void) {
    SDBlockDevice sd(MBED_CONF_SD_SPI_MOSI, MBED_CONF_SD_SPI_MISO, MBED_CONF_SD_SPI_CLK, MBED_CONF_SD_SPI_CS);    

    printf("Formatting SD card...\n");

    led = LED_ON;

    int ret = FATFileSystem::format(&sd);
    
    if(ret == 0) {
        led = LED_OFF;
        printf("Formatted successfully.\n");
        while(1){
            led = !led;
            wait(1);
        }
    } else {
        printf("Error: FATFileSystem::format() returns %d.", ret);
        while(1){
            led = !led;
            wait(0.1);
        }
    }
}