USBMSD SD card Hello World for Mbed platforms

Dependencies:   mbed USBMSD_SD USBDevice

Revision:
2:27a7e7f8d399
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/USBDevice/USBSERIAL/CBuffer.h	Fri Nov 11 15:22:53 2011 +0000
@@ -0,0 +1,51 @@
+#ifndef CBUFFER_H
+#define CBUFFER_H
+
+#define MAX_BUF 128
+
+class CBuffer {
+public:
+    CBuffer() {
+        write = 0;
+        read = 0;
+        size = MAX_BUF + 1;
+    };
+
+    bool isFull() {
+        return ((write + 1) % size == read);
+    };
+
+    bool isEmpty() {
+        return (read == write);
+    };
+
+    void queue(uint8_t k) {
+        if (isFull()) {
+            read++;
+            read %= size;
+        }
+        buf[write++] = k;
+        write %= size;
+    }
+
+    uint16_t available() {
+        return (write >= read) ? write - read : size - read + write;
+    };
+
+    bool dequeue(uint8_t * c) {
+        if (!isEmpty()) {
+            *c = buf[read++];
+            read %= size;
+        }
+        return(isEmpty());
+    };
+
+
+private:
+    volatile uint16_t write;
+    volatile uint16_t read;
+    uint16_t size;
+    uint8_t buf[MAX_BUF + 1];
+};
+
+#endif
\ No newline at end of file