Do we have public datasheets for this stuff? Any datasheets at all?
There are Linux drivers for it.
Device drivers, yes. But do we need to initialize anything before Linux can use the hardware?
Yes. You need to first configure the TPM's address and interrupt, and then tell the TPM to start up.
If so, do we have good enough datasheets for that?
The second part is the same for all TPM chips and described in the TPM spec; the first part you might be able to derive from the Linux drivers.
Segher