Fork of official arduino-esp32 repository to add support for Totemmaker development boards:
This implementation includes additional features to control RoboBoard hardware. For more information read https://docs.totemmaker.net/roboboard
To install this platform, add link to Arduino IDE Additional Boards Manager URLs:
https://totemmaker.github.io/TotemArduinoBoards/package_totemmaker_index.json
Or follow official installation tutorial on: https://docs.totemmaker.net/setup/