OSR2 ESP32 firmware help

I keep trying to flash Tempest’s osr2 build, but the servo library he used doesnt work with the ESP32. Does anyone know a fix for this?

Please do not make repeated topics of the same question, thanks.