So impressed with the progress of the ESP32 open source Wi-Fi MAC efforts: https://zeus.ugent.be/blog/23-24/esp32-reverse-engineering-continued/
Had similar long term ambitions on ESP8266 when I started esp-open-rtos a decade ago, but ended up being hired by Espressif instead. 😅
From inside we always had theoretical support for open sourcing more of the WiFi stack, but it was never going to become a priority unless some high tier client demanded it...
I look forward to seeing where this effort lands!