@jcaron Yes, and it works!
Now I am trying to figure out where to put my module.
In the ESP8266 version there is a file called ESP8266.ld which contains the list of C files.
Where is the equivalent for ESP32? If there is no equivalent, what shall I look for?