I'm not 100% sure I'm afraid - you're on the right track with targetlibs/stm32f4/lib/system_stm32f4xx.c - try setting HSE_VALUE too in stm32f4xx.h (this could be done with a DEFINES+= in the Makefile).
I guess if you looked at the serial port waveform with an Oscilloscope you might get an idea of how fast/slow it was running...
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
I'm not 100% sure I'm afraid - you're on the right track with
targetlibs/stm32f4/lib/system_stm32f4xx.c
- try settingHSE_VALUE
too instm32f4xx.h
(this could be done with aDEFINES+=
in the Makefile).I guess if you looked at the serial port waveform with an Oscilloscope you might get an idea of how fast/slow it was running...