Please help getting started with Espruino on ESP32 and install firmware on ESP32 with windows PC.

I downloaded the latest version of Espruino and installed it with my windowscomputer and the esptool on several ESP32 devices as follow:

esptool.py --chip esp32 --port com17 --baud 921600 --before default_reset --after hard_reset write_flash -z --flash_mode dio --flash_freq 40m --flash_size detect 0x10000 espruino_2v17.71_esp32.bin

The installation seemed ok but afterwards all boards reset all the time

(>>) rst:0x10 (RTCWDT_RTC_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT)
(>>) configsip: 0, SPIWP:0xee
(>>) clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00
(>>) mode:DIO, clock div:2
(>>) load:0x3f400020,len:165208
(>>) ets Jun 8 2016 00:22:57
(>>)
(>>) rst:0x10 (RTCWDT_RTC_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT)
(>>) configsip: 0, SPIWP:0xee
(>>) clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00
(>>) mode:DIO, clock div:2
(>>) load:0x3f400020,len:165208
(>>) ets Jun 8 2016 00:22:57
(>>)
(>>) rst:0x10 (RTCWDT_RTC_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT)
(>>) configsip: 0, SPIWP:0xee
(>>) clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00
(>>) mode:DIO, clock div:2
(>>) load:0x3f400020,len:165208
(>>) ets Jun 8 2016 00:22:57
(>>)
(>>) rst:0x10 (RTCWDT_RTC_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT)
(>>) configsip: 0, SPIWP:0xee
(>>) clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00
(>>) mode:DIO, clock div:2
(>>) load:0x3f400020,len:165208
(>>) ets Jun 8 2016 00:22:57
(>>)
(>>) rst:0x10 (RTCWDT_RTC_RESET),boot:0x13 (SPI_FAST_FLASH_BOOT)
(>>) configsip: 0, SPIWP:0xee
(>>) clk_drv:0x00,q_drv:0x00,d_drv:0x00,cs0_drv:0x00,hd_drv:0x00,wp_drv:0x00
(>>) mode:DIO, clock div:2
(>>) load:0x3f400020,len:165208
(>>) ets Jun 8 2016 00:22:57
(>>)

Can you please advise me what to do to make Espruino work on ESP32?

Thanks