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 :-)
@Jean-Philippe_Rey started
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.
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 :-)