1# 2# Copyright (c) 2022, MediaTek Inc. All rights reserved. 3# 4# SPDX-License-Identifier: BSD-3-Clause 5# 6 7# indicate the reset vector address can be programmed 8PROGRAMMABLE_RESET_ADDRESS := 1 9COLD_BOOT_SINGLE_CPU := 1 10# Build flag to include AArch32 registers in cpu context save and restore during 11# world switch. This flag must be set to 0 for AArch64-only platforms. 12CTX_INCLUDE_AARCH32_REGS := 0 13PLAT_XLAT_TABLES_DYNAMIC := 1 14 15VENDOR_EXTEND_PUBEVENT_ENABLE := 1 16