cdefs:
  ESP32: 1