modified mbed-src to overclock K64F MCU to run at 128.125MHz, for running the UART at 8Mbps, call SystemCoreClockUpdate() at the beginning of your code to re-calculate the SystemCoreClock

Fork of mbed-src by mbed official

common/us_ticker_api.c/shortlog@8276e3a4886f: not found in manifest