Open source smart card software, with personalization tools and a PKCS#11 module.