If your going to work with Arm and Linux, there are some simple libraries written for Mifare Cards in Python, which is not your case. All libraries I found were in C++ and I had to transport it to Java language to work in Arm. Not a complicated task, but takes a lot of testing.
If it is the first time you are using NFC hardware I recomend you use an Atmel MCU + RC522 shield - all libraries are working fine. After understanding the usage you can write your own Arm code.
Regards!