Hello Shruti,
Have you moved forward on this?
Besides of Erich's example, you can download the KDS example project which supports KSDK v1.3 and KSDK v2.x from the OM5578(PN7150) product page, under "Downloads":
NFC Development Kits for Arduino and more|NXP
Please notice that project is prepared for the Revision E3 of FRDM-K64F. For earlier revisions you might need to change the IRQ pin from PTC12 to PTA0.
Let me know if any questions.
Regards!
Jorge Gonzalez