# Copyright (c) 2026 BayLibre SAS
# SPDX-License-Identifier: Apache-2.0

CONFIG_XIP=n

# Enable Timer and Sys clock
CONFIG_SYS_CLOCK_TICKS_PER_SEC=1000
CONFIG_ARM_ARCH_TIMER=y

# Enable UART driver
CONFIG_SERIAL=y

# Enable serial port
CONFIG_UART_INTERRUPT_DRIVEN=y

# Enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y

# Run in Non-Secure mode (EL1NS) - TF-A handles secure boot
CONFIG_ARMV8_A_NS=y

# PSCI support for CPU power management
CONFIG_PM_CPU_OPS=y

# 64-bit timeout for long-running operations
CONFIG_TIMEOUT_64BIT=y

# Cache management
CONFIG_CACHE_MANAGEMENT=y

# SMP support - 4 Cortex-A320 cores
CONFIG_SMP=y
CONFIG_MP_MAX_NUM_CPUS=4
CONFIG_MAX_THREAD_BYTES=3

# TF-A warm boot does not set VMPIDR_EL2 for secondary CPUs.
# Without this, EL1 reads of MPIDR_EL1 return 0 on secondary cores.
CONFIG_ARM64_SET_VMPIDR_EL2=y
