# SPDX-License-Identifier: Apache-2.0 | |
# Zephyr Kernel Configuration | |
CONFIG_MAX_THREAD_BYTES=5 | |
CONFIG_MAX_XLAT_TABLES=10 | |
# SMP support | |
CONFIG_SMP=y | |
CONFIG_MP_MAX_NUM_CPUS=2 | |
CONFIG_CACHE_MANAGEMENT=y | |
CONFIG_ARMV8_A_NS=y | |
# PSCI is supported | |
CONFIG_PM_CPU_OPS=y |