1 ## SPDX-License-Identifier: GPL-2.0-only
3 config SOC_MEDIATEK_MT8188
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
21 if SOC_MEDIATEK_MT8188
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
30 config DPM_DM_FIRMWARE
34 The file name of the MediaTek DPM DM firmware.
36 config DPM_PM_FIRMWARE
40 The file name of the MediaTek DPM PM firmware.
46 The file name of the MediaTek MCUPM firmware.
50 default "spm_firmware.bin"
52 The file name of the MediaTek SPM firmware.
58 The file name of the MediaTek SSPM firmware.