I was looking into using OpenAMP to support an event driven IPC between Linux A7 core and a FreeRTOS based application running on the M4. The sample application (STM32CubeMP15 Firmware Package )documentation in the says:"The actual bare metal version...

Hi I see the STM32MP1 has an ISO7816 interface, is there Linux device driver support for the ISO7816 interface. Or is there any documentation on how I might enable support for this.Thank you,Eoin