| # 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 |