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/rtc_time.c/shortlog@8276e3a4886f: not found in manifest