Regarding Mongoose OS and Espressif's ESP32 specifically, I have the understanding that Mongoose OS was built on top of the ESP-IDF so standard libraries are rolled in and Espressif APIs are usable. This is great and very useful. However, I am working with Espressif's HomeKit SDK which has some libraries (built on the ESP-IDF SDK) that I would like to somehow include in the build. I am wondering the procedure to include these libraries, since the mos development environment is a bit different than the ESP-IDF development environment. There are no make files, particularly. Am I able to add these libraries somehow via the mos.yml file, or would I need the specific source code used to build these libraries?