Arduino + esp-idf newly broken

Hi, I was using esp-idf + arduino as framework for the past year and since an update of platform io (update all, I may have been a bit fast on that click) I get compilation errors. That’s the relevant part of my .ini

platform_packages =
framework-arduinoespressif32 @ GitHub - marcovannoord/arduino-esp32: Arduino core for the ESP32
framework = espidf, arduino
platform = espressif32

That’s the build tools

  • framework-arduinoespressif32 0.0.0+sha.d011dd7
  • framework-espidf 3.40001.200521 (4.0.1)
  • tool-cmake 3.16.4
  • tool-esptoolpy 1.30100.210531 (3.1.0)
  • tool-ninja 1.7.1
  • toolchain-esp32ulp 1.22851.191205 (2.28.51)
  • toolchain-xtensa32 2.80400.210211 (8.4.0)

Some yummy errors
/.platformio/packages/framework-espidf@3.40001.200521/components/driver/rtc_module.c:104:8: error: unknown type name ‘_lock_t’
static _lock_t adc1_i2s_lock;
cc1: some warnings being treated as errors

I’ve tried different version of esp-idf framework and tool chain without success…
Can someone using a setup like that tell me what packages they are using?

Possibly examples/espidf-arduino-blink build fails: unknown type name '_lock_t' · Issue #685 · platformio/platform-espressif32 · GitHub?

I can’t believed I didn’t try to flush my .platformio sooner… When the solution is so simple haha!
Thank you!