Board support for IOT Redboard ESP32?

Development Boards ESP32
1

The Sparkfun board support package for the ESP32

(https://raw.githubusercontent.com/spark … index.json)

does not list the IOT Redboard. Does anybody know if there is another or a more recent URL for this?

Thanks.

2

That one uses the Espressif version; https://learn.sparkfun.com/tutorials/io … rogramming