XEN TPM Interface

modulename: xen-tpmfront.ko

configname: CONFIG_TCG_XEN

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>TPM Hardware Support
└─>XEN TPM Interface
In linux kernel since version 3.12 (release Date: 2013-11-03)  
If you want to make TPM support available to a Xen user domain,
say Yes and it will be accessible from within Linux. See
the manpages for xl, xl.conf, and docs/misc/vtpm.txt in
the Xen source repository for more details.
To compile this driver as a module, choose M here; the module
will be called xen-tpmfront.

source code: