config LPC_TPM
	bool
	default n
	help
	  LPC TPM driver is enabled!

config TPM_TIS_BASE_ADDRESS
	hex
	default 0xfed40000
	depends on LPC_TPM
	help
	  This can be used to adjust the TPM memory base address.
	  The default is specified by the TCG PC Client Specific TPM
	  Interface Specification 1.2 and should not be changed unless
	  the TPM being used does not conform to TPM TIS 1.2.

config TPM_PIRQ
	hex
	default 0x0
	depends on LPC_TPM
	help
	  This can be used to specify a PIRQ to use instead of SERIRQ,
	  which is needed for SPI TPM interrupt support on x86.

config MAINBOARD_HAS_LPC_TPM
	bool
	default n
	select LPC_TPM
	help
	  Board has LPC TPM support