Questions about build

[johncblacker]

I'm trying to follow your directions, but I get to where you're setting up the path and you refer to a xtensa_esp32/bin directory but where does the xtensa_esp32 stuff come from? I don't see you doing any clone or download,; nor do I see anything regarding a "pre-requisite" of the xtensa_esp32...
I remember having worked with the esp32 build for micropython a while back and seem to recall having to retrieve something like a esp-open-sdk. Can you help me out here?