We are trying to build a TPL driver in S32K as per below logical diagram. Here we were told that for this to work in non DMA mode requires SPI to operate in interrupt mode. Are there any direct sample driver to use as a reference for SPI driver to operate in Interrupt mode. Any guideline will help. We will be porting this to nuttx baseline.