Infineon and Thales has currently cards for ID cards mostly a basis for Enterprise cards used for cba use cases. Hardware ready, but some improvements necessary for daily usage. What I see today is cards for cba will be come in 2027. 

https://www.all-about-industries.com/worlds-first-common-criteria-certification-for-pqc-algorithm-on-security-controller-a-a178e4ecbc0daeb1f205c5ebaea26e75/

https://www.thalesgroup.com/en/news-centre/press-releases/thales-launches-europes-first-certified-smartcard-ready-quantum-age

The support for smart cards is currently underway. We don’t have an official supported smart card list to share at this time. Once support is finalized, the guidance will be published through the appropriate documentation channels.