# Calculate format=kernel name=.config
CONFIG_HW_RANDOM_TPM=y
# CONFIG_TCG_ATMEL is not set
CONFIG_TCG_CRB=m
# CONFIG_TCG_INFINEON is not set
# CONFIG_TCG_NSC is not set
# CONFIG_TCG_TIS_I2C_ATMEL is not set
# CONFIG_TCG_TIS_I2C_INFINEON is not set
# CONFIG_TCG_TIS_I2C_NUVOTON is not set
# CONFIG_TCG_TIS is not set
# CONFIG_TCG_TIS_ST33ZP24_I2C is not set
CONFIG_TCG_TPM=m
# CONFIG_TCG_VTPM_PROXY is not set
# CONFIG_TRUSTED_KEYS is not set
