cdefs:
  ESP8266: 1