Hi, Is there any documentation for the configure step? There's https://github.com/tpm2-software/tpm2-tss/blob/master/INSTALL.md but it does not talk about accepted values for "tctidefaultconfig" or "tctidefaultmodule". Moreover, I notice that "maxloglevel" is set to "trace", however I do not see any LOG_TRACE messages on console and have to change the source to use LOG_ERROR to see any output.