original_kernel/drivers/nfc/nfcmrvl
..
Kconfig
Makefile
main.c
nfcmrvl.h
usb.c