Hi SLICE,
I have worked before on porting the library from i.mx6ul to i.mx7d, and, even though they are not MCU's, I think that what you have to do is very similar to what I have done. I have noticed that like in the case of a linux board, the library provides an abstraction layer for FreeRTOS and implementations for the generic functions that control the SPI interface and the other required pins (like RESET, IRQ) using the KinesisSDK. I have also noticed that there are board configuration files for K82F (one for PN5180, one for RC663).
So, like in my case, I believe that the only required change should be the creation of a new board configuration file using as a model one of the K82F files. You will have to set in it the correct spi interface and the correct pins used for the signals required by the NFC frontend (the SPI bus and the pins you used when you connected the NFC reader to your board, they may not be the ones already defined in the example configurations).
If you are trying to use a PN5180, maybe if you specify your problem I can help you more.
A document that may help you:
https://www.nxp.com/docs/en/application-note/AN11908.pdf
Best Regards,
Dragos