ArduinoSPS/SPS/esp32.h

#ifdef ESP32

void initESP32() {
  ESP32PWM::allocateTimer(0);
  ESP32PWM::allocateTimer(1);
  ESP32PWM::allocateTimer(2);
  ESP32PWM::allocateTimer(3);
}

#endif