This is a copy of the library at http://forum.43oh.com/topic/4028-energia-library-nfc-card-reading-with-energia-mf-rc-522/ Here for my own ease of use. Please use the forum for feedback etc.