Problem making firmware for Espruinoboard

That's odd - looks like you have the right compiler.

• This is the RELEASE_2V08 tag, or current Git master?
  
• How are you flashing? If you do a build as you have done, it builds the firmware but not the bootloader. Flashing via the IDE should work fine (as it doesn't overwrite the bootloader) but if you flash via DFU or SWD then it'll just overwrite the bootloader with zeros and it won't work.
  
  

There's a script scripts/create_espruino_image_1v3.sh which creates the bootloader and main firmware and merges them.