src/drivers/pc80/tpm/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config MEMORY_MAPPED_TPM
   4         bool
   5         default n
   6         help
   7           Board has memory mapped TPM support
   8
   9 if MEMORY_MAPPED_TPM
  10
  11 config TPM_TIS_BASE_ADDRESS
  12         hex
  13         default 0xfed40000
  14         help
  15           This can be used to adjust the TPM memory base address.
  16           The default is specified by the TCG PC Client Specific TPM
  17           Interface Specification 1.2 and should not be changed unless
  18           the TPM being used does not conform to TPM TIS 1.2.
  19
  20 config TPM_PIRQ
  21         hex
  22         default 0x0
  23         help
  24           This can be used to specify a PIRQ to use instead of SERIRQ,
  25           which is needed for SPI TPM interrupt support on x86.
  26
  27 endif