File content as of revision 2:a78724db47d9:

#include "mbed.h"
#include "SDFileSystem.h"
 Serial pc(SERIAL_TX, SERIAL_RX);

SDFileSystem sd(PC_12, PC_11, PC_10, D15, "sd"); // the pinout on the mbed Cool Components workshop board
//LocalFileSystem local("local"); 
int main() {
    int i;
    //pc.printf("Hello World!\n");   
    char Buffer[8192],Buffer1[8192];
    mkdir("/sd/mydir", 0777);
    //FILE *fb = fopen("/local/out.txt", "w");
    FILE *fp = fopen("/sd/mydir/sdtest.txt", "w");
    FILE *fq = fopen("/sd/mydir/sdtest1.txt", "w");
    if(fp == NULL ||fp == NULL ) {
        error("Could not open file for write\n");
    }
    else{
    //fprintf(fp, "hello world");
    for(i=0;i<=10;i++)
        {fprintf(fp, "%d ",i);
        fprintf(fq, "%d ",i+10);}
    //pc.printf("sucess!!!!!!!!\n");
    fclose(fp); 
    fclose(fq);     
        
    }
    FILE *fa = fopen("/sd/mydir/sdtest.txt", "r");
    FILE *fb = fopen("/sd/mydir/sdtest1.txt", "r");
    if(fa == NULL||fb == NULL) {
        error("Could not open file for read\n");
    }
    else{
    fgets (Buffer, 8192, fa);
    fgets (Buffer1, 8192, fb);
    pc.printf("%s\n",Buffer);
    pc.printf("%s\n",Buffer1);    
    fclose(fa); 
    fclose(fb);     
    }
    
//    if(c=='5')
//    pc.printf("%s",Buffer);
}