; For 32 bit system: HKEY_LOCAL_MACHINE\Software\Infineon\TPM Software\TCS\TPMVendorSet\INTC\TDDL = TDDL.dll ; For 64 bit system: HKEY_LOCAL_MACHINE\SoftwareWow6432Node\Infineon\TPM Software\TCS\TPMVendorSet\INTC\TDDL = TDDL.dll [registry] keyroot=HKLM keypath=Software\Infineon\TPM Software\TCS\TPMVendorSet\INTC keyvalue=TDDL keydata=TDDL.dll keytype=sz uninstall=true sequence=20000 condition=!IsWoW [/registry] [registry] keyroot=HKLM keypath=SoftwareWow6432Node\Infineon\TPM Software\TCS\TPMVendorSet\INTC keyvalue=TDDL keydata=TDDL.dll keytype=sz uninstall=true sequence=20000 condition=IsWoW [/registry]Download Driver Pack
After your driver has been downloaded, follow these simple steps to install it.
Expand the archive file (if the download file is in zip or rar format).
If the expanded file has an .exe extension, double click it and follow the installation instructions.
Otherwise, open Device Manager by right-clicking the Start menu and selecting Device Manager.
Find the device and model you want to update in the device list.
Double-click on it to open the Properties dialog box.
From the Properties dialog box, select the Driver tab.
Click the Update Driver button, then follow the instructions.
Very important: You must reboot your system to ensure that any driver updates have taken effect.
For more help, visit our Driver Support section for step-by-step videos on how to install drivers for every file type.