coreboot_config.mk 464 B

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