OK now it works. I think the espruino_esp8266_board_0x10000.bin was not the one I needed, moreover it seems that it is an exact copy of espruino_esp8266_board_0x00000.bin (at least the size is the same). Instead, I used the binaries that I found in the ZIP file (https://github.com/espruino/EspruinoBuilds/blob/master/ESP8266/espruino_esp8266_board_binaries.zip), and it works like a charm!
Thank you Kolban for your help :-)
© Espruino, powered by microcosm.
Report a problem