1# SPDX-License-Identifier: Apache-2.0
2
3# Platform Configuration
4CONFIG_ARM64_VA_BITS_40=y
5CONFIG_ARM64_PA_BITS_40=y
6# 25 MHz system clock
7CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=25000000
8
9# Zephyr Kernel Configuration
10CONFIG_XIP=n
11CONFIG_AARCH64_IMAGE_HEADER=y
12
13# Serial Drivers
14CONFIG_SERIAL=y
15CONFIG_UART_INTERRUPT_DRIVEN=y
16
17# Enable Console
18CONFIG_CONSOLE=y
19CONFIG_UART_CONSOLE=y
20
21# Zephyr Kernel Configuration
22CONFIG_MAX_THREAD_BYTES=5
23CONFIG_MAX_XLAT_TABLES=10
24
25# SMP support
26CONFIG_SMP=y
27CONFIG_MP_MAX_NUM_CPUS=2
28CONFIG_CACHE_MANAGEMENT=y
29CONFIG_ARMV8_A_NS=y
30
31# PSCI is supported
32CONFIG_PM_CPU_OPS=y
33