ESP32-S3-DevKit support

Hello there!

I tried to flash espruino on my S3 dev board, which seems to work:

./esptool --chip auto --port /dev/ttyUSB0 --baud 115200 --after hard_reset write_flash -z 0x1000 ../espruino_2v01.29_esp32/bootloader.bin­ 0x8000 ../espruino_2v01.29_esp32/partitions_esp­ruino.bin 0x10000 ../espruino_2v01.29_esp32/espruino_esp32­.bin 

esptool.py v3.2
Serial port /dev/ttyUSB0
Connecting....
Detecting chip type... ESP32-S3
Chip is ESP32-S3
Features: WiFi, BLE
Crystal is 40MHz
MAC: 7c:df:a1:e0:77:34
Uploading stub...
Running stub...
Stub running...
Configuring flash size...
Flash will be erased from 0x00001000 to 0x00004fff...
Flash will be erased from 0x00008000 to 0x00008fff...
Flash will be erased from 0x00010000 to 0x0015cfff...
Compressed 15280 bytes to 10057...
Wrote 15280 bytes (10057 compressed) at 0x00001000 in 1.1 seconds (effective 111.3 kbit/s)...
Hash of data verified.
Compressed 3072 bytes to 166...
Wrote 3072 bytes (166 compressed) at 0x00008000 in 0.1 seconds (effective 393.3 kbit/s)...
Hash of data verified.
Compressed 1363168 bytes to 881314...
Wrote 1363168 bytes (881314 compressed) at 0x00010000 in 78.3 seconds (effective 139.2 kbit/s)...
Hash of data verified.

Leaving...
Hard resetting via RTS pin...

However, it does not boot:

ESP-ROM:esp32s3-20210327
Build:Mar 27 2021
rst:0x7 (TG0WDT_SYS_RST),boot:0x8 (SPI_FAST_FLASH_BOOT)
Saved PC:0x40043ac8
SPIWP:0xee
mode:DIO, clock div:1
load:0x3fcd0108,len:0x15c8
load:0x206d7573,len:0x6c696166
Invalid image block, can't boot.
ets_main.c 329

I didn't find any documentation related to ESP32-S3, so here I am asking if it's supported.

Maybe now that we are testing the IDF v4.x and v5.x versions we could do the build for ESP32-S3. It seems to be the successor of ESP32.

Has anyone made any progress to start with?

For me I need to buy the hardware first.