Board: MiCOKit-3288 by: http://mico.io CPU: stm32f411 usart example
Base on mbed(CMSIS) 20150707
Complier: gcc-arm-none-eabi-4_9-2015q2, information from espruino Debug SWD: stlink-v2
CMD:
#make
#make flash
#cutecom
serial: 115200,8N1 LED is GPIOB-12 default USART: usart2
good luck.