We build our own custom version of esp32-arduino, in order to get some fixes we've made but haven't yet been merged in master. These are a set of currently unformatted notes on how to build and ...