Espruino

ESP32

https://www.espruino.com/ESP32

# Get the Espruino source code
git clone https://github.com/espruino/Espruino.git
cd Espruino

# Download and set up the toolchain ('source' is important here)
source scripts/provision.sh ESP32

# Clean and rebuild
make clean && BOARD=ESP32 make

esptool.py    \
--chip esp32                                \
--port /dev/ttyUSB0                         \
--baud 921600                               \
--after hard_reset write_flash              \
-z                                          \
--flash_mode dio                            \
--flash_freq 40m                            \
--flash_size detect                         \
0x1000 bootloader.bin                       \
0x8000 partitions_espruino.bin              \
0x10000 espruino_esp32.bin