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.