I have a simple Arduino program that uses functions from a core esp32 library esp32-hal-ledc.h. These functions can be used to drive a passive piezo buzzer, for example. I want to now transfer/modify this code to be mongoose-os compatible.
As I'm still learning the ropes with Mongoose OS, I am just wondering if these libraries are already included when I define my esp32 board within the mongoose framework. If not, can I simply refer to these libraries in my mos.yml or would I need to modify them to make them mos compatible?