Portuguese eID

Portugal also has an eID card. More info at  http://www.cartaodocidadao.pt.

Card Versions

It appears that two versions of the card exist. One is based on the Gemsafe applet and the other on the IAS specification.

Official Middleware

The  software download page lists software for Windows, Mac OS X and Linux. Parts of the software are based on OpenSC (custom libopensc provided with the software).

At this time, the Mac version does not provide a Tokend, so the card is not supported by applications which use the CDSA/CSSM API. Also, no source code is provided.

OpenSC support

OpenSC trunk currently supports the Portuguese eID card.

Mac OS X full support is available through OpenSC.Tokend.