possible lwIP_esp32 with Espressif "esp_hosted" firmware for esp32

[JAndrassy]

Espressif has for esp32 a fw which makes it a MAC level WiFi adapter. The host MCU then has the TCP/IP stack and a network interface driver for the esp32.
This could be used to allow esp32 as WiFi network interface for Pico LwIP.
The repository
https://github.com/espressif/esp-hosted/tree/master/esp_hosted_fg

Arduino uses this for their new Portenta C33 board which has STM32 MCU with esp32-C3 for WiFi with LwIP.
Here is the driver
https://github.com/arduino/ArduinoCore-renesas/tree/main/libraries/ESPhost/src

There are multiple RP2040 boards with esp32 on SPI for WiFi. The Challenger RP2040 WiFi/BLE MkII board, the Arduino Nano Connect

cc: @PontusO