File content as of revision 19:40c721f01ed2:

#ifndef __SDCard__
#define __SDCard__
/*
*
*/
#include "mbed.h"
#include "Sampling.h"
#include "SDCard.h"
#include "SDBlockDevice.h"
#include "FATFileSystem.h"
#include "LCD.h"

//Hardware devices
extern InterruptIn SD_WP;   //Pin that indicates if the card has been inserted (active low)
extern InterruptIn UserButton;//Demount request
extern SDBlockDevice sd;      //SD Card device
extern DigitalOut GreenLED;   //Shows its safe to demount
extern DigitalOut SDCardStatusLED;//Shows if the card is inserted

enum SDCardStates{INSERTED,REMOVED,DISMOUNTREQUEST};

//Variables
extern bool SDCardPresent;  //Is the SD card inserted?
extern bool SDCardMounted;  //Is the SD card initialised?
extern unsigned short SDinternalIndex;//Used for clocking out the data from the sample index
extern SDCardStates SDCurrentState; //State machine state

extern Thread SDCardThread;

//Functions
void SDCardInit(void);
//Starts the thread and sets up the interrupts
void SDCardRemovedISR(void);
//
void SDCardInsertedISR(void);
void SDCardButtonISR(void);
void SDCardCode(void);

#endif