# Generic Trusted Execution Environment Configuration
config TPCM
	bool "Tpcm Environment support"
	depends on ARCH_PHYTIUM
	default n
	help
	  This implements a generic interface towards a tpcm Execution
	    Environment.

if TPCM
menu "TPCM Environment platform selection"
choice
	prompt "TPCM Environment platform selection"
	depends on TPCM
	config TPCM_2004
		depends on KYLINOS_DESKTOP
		bool "FT-2000/4"

	config TPCM_2000PLUS
		depends on KYLINOS_SERVER
		bool "FT-2000+/64"

	config TPCM_2000AHK
		depends on KYLINOS_DESKTOP
		bool "FT-2000ahk"
endchoice
endmenu
endif
