mbedmicro/mbed — pull request #739 by xiongyihui (2014-11-25 08:50:49+00:00)
Title: [ARCH_MAX & DISCO_F407VG] add SystemCoreClockUpdate and HAL_Init to mbed_sdk_init

HAL_Init is needed by Arch MAX to setup RTC with internal clock