This is SDFileSystem which corrected the bug for MiMicSDK.

Dependents:   MbedFileServer_1768MiniDK2 RedWireBridge IssueDebug_gcc MiMicRemoteMCU-for-Mbed ... more

Fork of SDFileSystem by mbed official

Revision:
7:5429e81addde
Parent:
6:972a52e4d92c
Child:
8:22ce3449b224
--- a/FATFileSystem/FATFileSystem.cpp	Fri Apr 26 09:07:37 2013 +0000
+++ b/FATFileSystem/FATFileSystem.cpp	Sun Apr 28 08:54:19 2013 +0000
@@ -22,12 +22,16 @@
 #include "mbed.h"
 
 #include "ffconf.h"
-#include "mbed_debug.h"
 
 #include "FATFileSystem.h"
 #include "FATFileHandle.h"
 #include "FATDirHandle.h"
 
+//#include "mbed_debug.h"
+#define debug
+#define debug_if
+
+
 DWORD get_fattime(void) {
     time_t rawtime;
     time(&rawtime);