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!