And you’ll absolutely get an LED blinking faster in ESP32 BASIC than you will on an Arduino ... we discovered it by connecting to GPIO 12, labeled as the MOSI pin for “HSPI”.