On Monday, January 16, 2012, Stefan Berger wrote:
> On 01/16/2012 05:05 PM, Rafael J. Wysocki wrote:
> > On Monday, January 16, 2012, Stefan Berger wrote:
> >> On 01/16/2012 03:42 PM, Rafael J. Wysocki wrote:
> > Well, so the problem with that is that it requires Windows to be installed
> > to change the settings (i.e. the machine has no BIOS setup as we know it).
> > So, practically, I really can't do that.
> >
> Are there any other tpm related outputs in 'dmesg' from during the boot?

Yes, there are.  Below is the result of grepping tpm in dmesg output (the
entire dmesg log from that box is attached).

[    5.066807] tpm_tis 00:0a: 1.2 TPM (device-id 0xB, rev-id 16)
[    7.167236] tpm_tis 00:0a: Adjusting TPM timeout parameters.
[    7.893190] tpm_tis 00:0a: A TPM error (7) occurred attempting to read a pcr value
[    7.897202] tpm_tis 00:0a: TPM self test failed
[    7.907599] tpm_inf_pnp 00:0a: Found TPM with ID IFX0102
[    7.909745] tpm_inf_pnp 00:0a: TPM found: config base 0x4e, data base 0x680, chip version 0x000b, vendor id 0x15d1 (Infineon), product id 0x000b (SLB 9635 TT 1.2)
[   96.386200] tpm_inf_pnp 00:0a: saving TPM state
[   96.407630] tpm_inf_pnp 00:0a: Timeout while clearing FIFO
[   96.407634] tpm_inf_pnp 00:0a: error while saving TPM state

Thanks,
Rafael