请问在IDF环境下如何移植Micropython？

我看官方有提供Micropython的bin文件，但我想根据自己外设扩充一下Python库，这个应该从哪里入手？

之前做过RTT系统的python库扩充，RTT有提供Micropython的源代码，直接在里面加自己的库就行

ESP32下如何加自定义Python库？