The esp32 core is too complex to maintain for the benefit of having
it. It
- uses xtensa-esp32-elf-gcc, which has a bunch of non-static binaries
- requires Python with specific libraries installed
- is a big download
It should still be possible to use this core provided you set up your
environment correctly and use the correct customization options.