新人求教关于esp32的一些问题

小弟最近在做一个关于单片机的设计，教授给我了一块叫lopy的板子。这个板子的cpu是esp32上头预装了micropython。 教授给了我很多要求其中一个就是用c和micropython来控制led的亮灭并且要测出亮灭的频率，micropython的我已经弄出来了，c的却不知道怎么弄（51单片机我已经看了他需要个头文件，可是我这个板子不是51单片机啊怎么获得这个头文件以及用什么程序去烧录）希望有大佬为小弟指点迷津。这个是LOPY这个板子的详细介绍 https://docs.pycom.io/