File content as of revision 0:47321458789d:

#include "mbed.h"
#include "rtos.h"
#include "wave_player.h"
#include "SDFileSystem.h"
SDFileSystem sd(p5, p6, p7, p8, "sd");
PwmOut red(p21);
PwmOut green(p22);
PwmOut blue(p23);
AnalogOut speaker(p18);
wave_player waver(&speaker);
Thread thread1;
Thread thread2;
void t1() {
    red = 0;
    green = 0;
    blue = 0;
    while (1) {
        red = 1;
        green = 0;
        blue = 0;
        Thread::wait(300);
        red = 0;
        green = 1;
        blue = 0;
        Thread::wait(300);
        red = 0;
        green = 0;
        blue = 1;
        Thread::wait(300);
        
    }
void t2() {
    FILE *wave_file;
    //open wav file and play it
    wave_file=fopen("/sd/thread_sound.wav","r");
    waver.play(wave_file);
    fclose(wave_file);
    //end of program
    Thread::wait(500);
}

int main() {
    thread1.start(t1);
    thread2.start(t2);
    while(1) {
        
    }
}