RePhone: how to flash the Firmware for Arduino IDE ?

I had very similar issues flashing my board. I have now managed to do it.

To get it to work I ended up pulling an old Windows XP SP2 machine out of the cupboard. Wonce I was using that it worked without issue. I have now reflashed my board and have been playing around with some of the example code.

Carl