Mac FileVault 2 is the default disk encryption for newer Macs that occurs in the EFI pre-boot phase. The challenge here is that most smartcard drivers are loaded after the OS loads.
Is anyone aware of OTP or smart card technology exists and is compatible with File Vault 2?
I checked the Apple support forums, but found nothing. My hope is that government or other secure institutions can offer advice regarding this.