ESP32 working version with precompiled binary

This is cforth for an ESP32 module. It has a rudimentary filesystem in FLASH. If there is a file named "start" there, Forth will autoload it on startup, unless you type a key within 2 seconds.

Use esptool.py to load the binaries into your ESP32 module, then you should get an ok prompt on the serial console at 115200 baud. Here's an example command line, as used by the esp-idf SDK:

python esptool.py --chip esp32 --port COM35 --baud 115200 --before default_reset --after hard_reset write_flash -u --flash_mode dio --flash_freq 40m --flash_size detect 0x1000 bootloader.bin 0x10000 forth.bin 0x8000 partitions.bin

You can add files to the FLASH filesystem by loading them with XMODEM. With TeraTerm, the way to add a file named "start" to the filesystem is:

ok rf start
[TeraTerm: File>Transfer>XMODEM>Send then select the file you want to upload; its name does not have to be the same as the name after the "rf" above.]