Oh, now that's very interesting. The two boards should appear as exactly the same type of USB device, so I'm very surprised one would work when the other doesn't.
Actually when you get it into bootloader mode, do the LEDs alternate between red and green, or are they on constantly?
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.
Oh, now that's very interesting. The two boards should appear as exactly the same type of USB device, so I'm very surprised one would work when the other doesn't.
Actually when you get it into bootloader mode, do the LEDs alternate between red and green, or are they on constantly?