File content as of revision 1:7a3f34b2d18b:

#include "mbed.h"
#include <stdio.h>
#include "SDFileSystem.h"
#include "wavPlayer.h"
#include "TIM6Driver.h"

void TIM6_IRQHandler(void);
Ticker flipper;
FATFS FatFs;
wavPlayerOnDAC wavPlayer(PA_4);
//AnalogOut DACout(PA_4);

SDFileSystem sd(PB_5, PB_4, PB_3, PA_11, "sd"); // the pinout on the mbed Cool Components workshop board
DigitalOut pin(PA_12);
DigitalOut pin2(PB_0);
DigitalIn button(PA_0,PullDown);
BusIn DipSW(PA_10,PA_9,PA_12,PB_0);


void TIM6_IRQHandler() {
    TIM6ClearInt();
    wavPlayer.DACOutProc();
}

int main(void)
{
    FRESULT wavFileResult;
    FIL     fil;
    int     i,j;
    
    MX_TIM6_Init();
    NVIC_SetVector(TIM6_DAC1_IRQn, (uint32_t)&TIM6_IRQHandler);
    MX_NVIC_Init();
    
    DipSW.mode(PullDown);
    
    f_mount(&FatFs,"",0);
//    wavFileResult = f_open(&fil, "LondonCalling_44k16bitMono.wav", FA_READ);
//    wavFileResult = f_open(&fil, "LondonCalling_44k8bitMono.wav", FA_READ);
    wavFileResult = f_open(&fil, "LondonCalling_44k16bitStreo.wav", FA_READ);
    printf("error:%d\r\n",(int)wavFileResult);
    wavPlayer.setFile(&fil);
    printf("buff ok\r\n");
    while(button == 1)
    {
    }
    printf("start\r\n");
    while(1) {

        if(wavPlayer.readProc() == 1)
        {
            printf("END\r\n");
            wavPlayer.rewind();
        }
    }
}