mbedmicro/mbed — pull request #2 by pbrier (2013-04-11 20:31:59+00:00)
Title: Gcc arm fix for USB device library

fixes USB device library. (Does not yet fix USBHost drivers)