You need to use Espruino's own flasher though (the one linked - not the standard stm32loader.py) as the rev 1.3 Espruino boards had a small bootloader bug that made it a bit unreliable until some register values were set up.
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.
Ahh - so you have got it working on your Mac via a Linux VM?
Yes, you can update the firmware in a terminal - see http://www.espruino.com/Download
You need to use Espruino's own flasher though (the one linked - not the standard stm32loader.py) as the rev 1.3 Espruino boards had a small bootloader bug that made it a bit unreliable until some register values were set up.