Hi @matkuki,
Regarding your questions:
Q:which ones would be the best to start with?
A:It’ll be the Frazininho wifi. This one uses ESP32-S2.
Q:where is it possible to order the boards from?
A: Unfortunately the project can only send boards inside Brazil, but since the project is also open hardware it’s possible to obtain the schematics and Gerber files to produce the board by yourself.
About using make and GCC isn’t a problem. I think the hardest part is the support for Espressif, I found some discussions regarding that in the forum: Is there ESP32 support.
Also if you need some specific documentation in English let me know, I’ll be working on the documentation translation to English.
In case of more questions let me know.
Best regards,
Flávio