Well, DavMail relies on Java PKCS11 support, as soon as Oracle Java supports tokend on OSX, I will have a look at it.