ARM linux and esp32

Development Tools IDE 1.x
2

I don't know how to help you, but I can tell you I agree this is the right place to ask.

EDIT: I think I know a person on this forum who could help you. @ruilviana Can you help this guy, please?