1source "../../device/soc/st/common/platform/Kconfig" 2 3config PLATFORM 4 string 5 default "stm32mp157" if PLATFORM_STM32MP157 6 7config PRODUCT_NAME 8 string "product name" 9 default "bearpi_hm_micro" if PRODUCT_BEARPI_HM_MICRO 10 11config DEVICE_COMPANY 12 string "vendor name" 13 default "st" if PLATFORM_STM32MP157 14 15config TEE_ENABLE 16 bool "Enable TEE" 17 default n 18 depends on PLATFORM_STM32MP157 19 help 20 Enable teeos in platform