File content as of revision 0:5e431050adf7:

#include "mbed.h"
#include "Flash_USBFileSystem.h"

DigitalOut myled(LED1);
FlashUSB flash(PTD6, PTD7, PTB11, PTE4);

void usbCallback(bool available)
{
    if (available) {
        FILE *fp = fopen("/USB/usbtest.txt", "r");
        char buffer[100];
        fgets (buffer, 100, fp);
        printf("%s\r\n", buffer);
        fclose(fp);
    }
}

int main()
{
    flash.attachUSB(&usbCallback);

    wait(0.1);
    printf("Hello World!\r\n");

    FILE *fp = fopen("/USB/usbtest.txt", "w");

    if(fp == NULL) {
        printf("Could not open file, assuming unformatted disk!\r\n");
        printf("Click in the nice popup window to format disk with default settings!\r\n");
    } else {
        wait(0.2);
        fprintf(fp, "Type your text here!");
        fclose(fp);
    }

    //Connect USB
    flash.connect();
    while(1) {
        wait(0.2);
        myled = !myled;
    }

}