How to compile into firmware?

How would I compile this into the MicroPython firmware? I have made many changes to all the files of MicroPython so I am wondering if there is a simple way to compile It into the firmware. (for example maybe as a USER_C_MODULE?)

Have you tried this binding yet?

It’s a spinoff of the official binding. It is able to build using a single command. It takes care of the majority of the build requirements for you.

At the moment is works with the ESP32, Unix and macOS. I want to add other MCU’s like the STM32 but I do not know the hardware.

Thank you. I’ll try it.