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