How to access little kernel drivers in Trusty from Trusted application

Question

We are using Android\'s Trusty TEE based on the Little Kernel in our project on platform IMX7D. I have written an SPI and a GPIO driver in the little kernel and a Trusted ap