The Setcos card driver supports:
For the Setcos 4.4.1 cards, a pkcs15-init driver has been written so you can use OpenSC to personalise the cards yourself.