config I2C_TPM
	bool "I2C TPM"
	depends on TPM || TPM2

config MAINBOARD_HAS_I2C_TPM_CR50
	bool
	default n

choice
	prompt "I2C TPM Driver"
	default I2C_TPM_CR50 if MAINBOARD_HAS_I2C_TPM_CR50
	default I2C_TPM_GENERIC if !MAINBOARD_HAS_I2C_TPM_CR50
	depends on I2C_TPM

config I2C_TPM_GENERIC
	bool "Generic I2C TPM Driver"

config I2C_TPM_CR50
	bool "CR50 I2C TPM Driver"

endchoice

config DRIVER_TPM_I2C_BUS
	hex "I2C TPM chip bus"
	default 0x9 # FIXME, workaround for Kconfig BS
	depends on I2C_TPM

config DRIVER_TPM_I2C_ADDR
	hex "I2C TPM chip address"
	default 0x2 # FIXME, workaround for Kconfig BS
	depends on I2C_TPM

config DRIVER_TPM_I2C_IRQ
	int "IRQ or GPE to use for TPM interrupt"
	default -1
	depends on I2C_TPM

config DRIVER_I2C_TPM_ACPI
	bool "Generate I2C TPM ACPI device"
	default y if ARCH_X86 && I2C_TPM
	default n