Thank you! It's working now! For future reference, I got it working (on my Windows 10 computer) by copying and replacing the tool folder located at C:\Users\<myuser>\AppData\Local\Arduino15\packages\esp32\hardware\esp32\1.0.6\ with the files from: https://github.com/lbernstone/arduino-esp32-solo

Hello! I'm having problems with the esp32-devkitm-1 using the Arduino IDE. Flashing seems to work successfully with no errors, the serial monitor, however, shows that it's stuck rebooting over and over. This is the log: Rebooting... ets Jul 29 2019 12:21:46 rst:0xc (SW_CPU_RESET),boot:0x13 (SPI_FAST...