Project Filelist for OpenPGP Smart Card mini driver