esp32 pico d4

managed to finally get time to play around with it:

[~/espruino/espruino_2v05_esp32] tristan$ esptool.py --port /dev/ttyUSB0 --baud 115200 write_flash -z --flash_mode "dio" --flash_freq "40m" 0x1000 bootloader.bin 0x10000 espruino_esp32.bin 0x8000 partitions_espruino.bin
esptool.py v2.6
Serial port /dev/ttyUSB0
Connecting....
Detecting chip type... ESP32
Chip is ESP32-PICO-D4 (revision 1)
Features: WiFi, BT, Dual Core, 240MHz, Embedded Flash, VRef calibration in efuse, Coding Scheme None
MAC: d8:a0:1d:5c:87:4c
Uploading stub...
Running stub...
Stub running...
Configuring flash size...
Auto-detected Flash size: 4MB
Compressed 15392 bytes to 10130...
Wrote 15392 bytes (10130 compressed) at 0x00001000 in 0.9 seconds (effective 133.9 kbit/s)...
Hash of data verified.
Compressed 1377808 bytes to 891091...
Wrote 1377808 bytes (891091 compressed) at 0x00010000 in 80.4 seconds (effective 137.1 kbit/s)...
Hash of data verified.
Compressed 3072 bytes to 166...
Wrote 3072 bytes (166 compressed) at 0x00008000 in 0.0 seconds (effective 1230.2 kbit/s)...
Hash of data verified.

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