Unable to use fTPM

[maroonmoon13]

I am using a TI AM64xx board to enable fTPM. I did the below to see if would work:

1. Fetch the OpteeOS source code following TI instructions for the board and build it
2. Use the devkit from the above step to build fTPM trusted application following instructions here
3. Copy the resulting TA to /lib/optee_armtz folder of my boards file system.
4. Recompile board kernel to enable tpm_ftpm_tee module. Optee and TPM were enabled by default.

From the documentation, I should see a /dev/tpm interface visible so that I can communicate with the fTPM. But I do not see anything of this sort. I also see no messages (sane or error) telling me if the fTPM TA got loaded properly.

It would be really helpful to know if there any step I am missing? I am attaching the boot log with debug messages from Optee enabled, as well as some additional kernel logs around the optee kernel driver
sk_log_modifiedKernel_rebuilt_optee.txt

Thanks and Regards