Hi Kenji,

Did you try this tutorial with this repository? This article was written back when the port for esp32 is in separate repository (now it’s merged back to the micropython one). I think there are different steps for compiling the esp32 port from the latest repository, and the truth is I haven’t tried compiling the source from that repository!

I think you can follow the instruction on the repo here.