approximate timeline for IDF 4 for arduino esp32?

[unltdsoul]

I am using some Faust DSP code (on the ESP32-A1S audio dev kit) that works great under IDF 4, but crashes when compiled through Arduino EPS32.
I'm sure its because the Faust DSP routines were compiled for IDF4. Arduino uses 3.2 idf.
Is IDF 4 for Arduino being worked on? If so, is there an Estimated Timeframe?

[ESP_Me-no-dev]

There is a branch in the arduino repository for IDF4.0 that you can try, but to answer your question, wee will skip 4.0 and go directly to 4.2 (current IDF master) because of support for ESP32-S2. If you want to try that, there is an "esp32s2" branch that you can checkout