Du meinst in der Arduino-IDE unter Werkzeuge > Board?
ESP32 Dev Module sollte gehen. Oder Du installierst wie hier beschrieben das Board-Package von Heltec:
… und nimmst dann Heltec ESP32 Arduino > Wifi Kit 32
