He had to hack the board to get the NFC reader’s interrupt connected correctly ... There’s a library, but you have to change over your Arduino to use USB 2.1. It turns out that’s not hard ...