1. ESP32 GPIO Programming

Jimmy has built the following circuit. Will LED turn ON?

void setup() {
  pinMode(4, OUTPUT);
}

void loop() {
  digitalWrite(4,1);
  while(1);
}