ESP32-C3 servo

// Servo: an SG90 swept from end to end by the LEDC hardware.
//
// A servo does not want PWM in the dimming sense. It wants a pulse *width*,
// repeated fifty times a second: 544 us for one end of the travel and 2400 us
// for the other, the Arduino Servo library's numbers and the servo part's
// defaults. Between pulses it holds whatever it was last told.
//
// That is still a PWM waveform, so LEDC can make it, and making it in hardware
// is better than making it by hand: the pulse is exact, the core is asleep
// between frames, and nothing an interrupt does can stretch it.
//
//   ledcAttach(pin, 50, 14)   fifty frames a second, 16384 counts each
//   ledcWrite(pin, duty)      duty counts of high out of 16384
//
// A frame is 20000 us, so one count is 20000 / 16384 = 1.22 us and a pulse of
// `us` microseconds is `us * 16384 / 20000` counts. The multiplication is done
// in 32 bits with the division last, so 544 us is 445 counts and 2400 us 1966.
//
// Wire the servo's brown wire to GND, red to 5V and orange to GPIO 4.

const uint8_t SERVO_PIN = 4;
const uint32_t FRAME_HZ = 50;
const uint8_t FRAME_BITS = 14;
const uint32_t FRAME_US = 1000000UL / FRAME_HZ;   // 20000
const uint32_t FRAME_COUNTS = 1UL << FRAME_BITS;  // 16384

// The Arduino Servo library's window, and how far it turns across it.
const uint32_t MIN_US = 544;
const uint32_t MAX_US = 2400;
const int SWEEP_DEG = 180;

uint32_t countsForMicros(uint32_t us) {
  return (us * FRAME_COUNTS) / FRAME_US;
}

void writeAngle(int degrees) {
  if (degrees < 0) {
    degrees = 0;
  }
  if (degrees > SWEEP_DEG) {
    degrees = SWEEP_DEG;
  }
  uint32_t us = MIN_US + ((MAX_US - MIN_US) * (uint32_t)degrees) / (uint32_t)SWEEP_DEG;
  ledcWrite(SERVO_PIN, countsForMicros(us));
}

void setup() {
  Serial.begin(115200);
  if (!ledcAttach(SERVO_PIN, FRAME_HZ, FRAME_BITS)) {
    Serial.println("no LEDC channel free for the servo");
    return;
  }
  writeAngle(90);
  delay(500);
}

void loop() {
  for (int angle = 0; angle <= SWEEP_DEG; angle += 5) {
    writeAngle(angle);
    delay(40);
  }
  Serial.println("at 180");
  for (int angle = SWEEP_DEG; angle >= 0; angle -= 5) {
    writeAngle(angle);
    delay(40);
  }
  Serial.println("back at 0");
}