I'm testing the new ESP32-Pico-Mini-02 module which features GPIO20 that was previously unavailable. The current version of the Arduino framework doesn't contain definitions for GPIO20 and I'm getting errors like:
Is there an easy way I could define GPIO20 in my current project main.h header file? What is the correct syntax for doing that? This way it would keep existing libraries and code working with the new pin.