1## SPDX-License-Identifier: GPL-2.0-only 2 3config SOC_MEDIATEK_MT8188 4 bool 5 default n 6 select ARCH_BOOTBLOCK_ARMV8_64 7 select ARCH_VERSTAGE_ARMV8_64 8 select ARCH_ROMSTAGE_ARMV8_64 9 select ARCH_RAMSTAGE_ARMV8_64 10 select ARM64_USE_ARM_TRUSTED_FIRMWARE 11 select HAVE_UART_SPECIAL 12 select SOC_MEDIATEK_COMMON 13 select FLASH_DUAL_IO_READ 14 select CACHE_MRC_SETTINGS 15 select MEDIATEK_DRAM_BLOB_FAST_INIT 16 select USE_CBMEM_DRAM_INFO 17 select DPM_FOUR_CHANNEL 18 select ARM64_USE_ARCH_TIMER 19 select EARLY_MMU_INIT 20 21if SOC_MEDIATEK_MT8188 22 23config VBOOT 24 select VBOOT_MUST_REQUEST_DISPLAY 25 select VBOOT_STARTS_IN_BOOTBLOCK 26 select VBOOT_SEPARATE_VERSTAGE 27 select VBOOT_RETURN_FROM_VERSTAGE 28 select VBOOT_DEFINE_WIDEVINE_COUNTERS 29 30config DPM_DM_FIRMWARE 31 string 32 default "dpm.dm" 33 help 34 The file name of the MediaTek DPM DM firmware. 35 36config DPM_PM_FIRMWARE 37 string 38 default "dpm.pm" 39 help 40 The file name of the MediaTek DPM PM firmware. 41 42config MCUPM_FIRMWARE 43 string 44 default "mcupm.bin" 45 help 46 The file name of the MediaTek MCUPM firmware. 47 48config SPM_FIRMWARE 49 string 50 default "spm_firmware.bin" 51 help 52 The file name of the MediaTek SPM firmware. 53 54config SSPM_FIRMWARE 55 string 56 default "sspm.bin" 57 help 58 The file name of the MediaTek SSPM firmware. 59 60endif 61