# Copyright (c) 2026 Advanced Micro Devices, Inc.
# SPDX-License-Identifier: Apache-2.0

# Zephyr is expected to run NS-EL1 with TF-A (or equivalent) providing PSCI.

CONFIG_BUILD_WITH_TFA=y

CONFIG_ARM64_VA_BITS_40=y
CONFIG_ARM64_PA_BITS_40=y
CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y

CONFIG_SERIAL=y
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
CONFIG_UART_XLNX_PS=y

CONFIG_ARMV8_A_NS=y
