USB device stack; Added getter method for terminal_connected;

Fork of USBDevice by mbed official

Example of use:

#include "mbed.h"
#include "USBSerial.h"

USBSerial  pc;
DigitalOut blue_led(P0_20);

int main() {
    blue_led = 1;
    while(!pc.getTerminal_connected()); //Wait for serial terminal to connect...
    while(1) {
        blue_led = 0;
        wait(0.2);
        blue_led = 1;
        wait(0.2);
    }
}
Revision:
16:4f6df64750bd
Parent:
13:16731886c049
Child:
20:d38b72fed893
diff -r 849c0c0f2769 -r 4f6df64750bd USBDevice/USBEndpoints.h
--- a/USBDevice/USBEndpoints.h	Tue Nov 05 09:45:23 2013 +0000
+++ b/USBDevice/USBEndpoints.h	Thu Dec 05 13:00:15 2013 +0000
@@ -43,6 +43,8 @@
 #include "USBEndpoints_LPC11U.h"
 #elif defined(TARGET_KL25Z)
 #include "USBEndpoints_KL25Z.h"
+#elif defined (TARGET_STM32F4XX)
+#include "USBEndpoints_STM32F4.h"
 #else
 #error "Unknown target type"
 #endif