mbedmicro/mbed — pull request #234 by bcostm (2014-03-25 17:29:05+00:00)
Title: [NUCLEO_F302R8] Use mbed_sdk_init() to update the SystemCoreClock variab...

...le.

Definitely the best solution...