STM32MP257 PSSI kernel driver

Hi,

I am going to use PSSI interface to communicate with FPGA (unidirectional interface from FPGA to MPU). Is there some kernel driver example for PSSI available?

Thanks!

Alexey.