File content as of revision 0:75c161b9fc38:

#include "mbed.h"
#include "MMA8451Q_tb.h"
#include "SDFileSystem.h"
 
 
#define MMA8451_I2C_ADDRESS (0x1d<<1)
float acc_all[3];
DigitalOut pinout(PTD4);
Timer timer;
Serial pc(USBTX, USBRX);
SDFileSystem sd(PTD2, PTD3, PTD1, PTD0, "sd"); // (mosi, miso, sclok, cs, name)

int main(void) {
    
//Initialize
    int now; //used for timestamping  
    timer.start(); 
    MMA8451Q acc(PTE25, PTE24, MMA8451_I2C_ADDRESS);
    printf("MMA8451 ID: %d\n", acc.getWhoAmI());

//Open File
    mkdir("/sd/mydir", 0777);
    FILE *fp = fopen("/sd/mydir/sdtest.txt", "a");
    if(fp == NULL) {
        error("Could not open file for write\n");
    }

    for(int i=0; i<2000; i++) {
        pinout = !pinout;
        now = timer.read_ms();
        acc.fastRead(&acc_all[0]);
       
       //Print to file
        fprintf(fp, "%d, %f,%f,%f\n",now, acc_all[0],acc_all[1],acc_all[2]);
        
    }
    fclose(fp);
}