Arduino: esp32-p4 with KSZ8863

Hi,
I'm using an ESP32-P4 with PlatformIO and the Arduino framework. I want to use a KSZ8863 switch: Ethernet via RMII, control via SPI.

How do I implement this in code? Are there any libraries, examples, or tips for initializing and managing both RMII and SPI access to the KSZ8863?

Thanks!

I'm in the same situation. I've got an ESP-WROVER-E and the KSZ8863. Also using the Arduino framework and PlatformIO.