arduino安装时下载esp32的包esptool、mkspiffs-0.2.3-arduino-esp32-win32、等等

arduino安装时下载esp32包太慢或安装失败的解决方法中所需要的压缩包：esptool、mkspiffs-0.2.3-arduino-esp32-win32、xtensa-esp32-elf、riscv32-esp-elf