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
12CONFIG_MAX_THREAD_BYTES=5
13CONFIG_MAX_XLAT_TABLES=10
14
15# SMP support
16CONFIG_SMP=y
17CONFIG_MP_MAX_NUM_CPUS=4
18CONFIG_CACHE_MANAGEMENT=y
19CONFIG_ARMV8_A_NS=y
20
21# PSCI is supported
22CONFIG_PM_CPU_OPS=y
23
24# Serial Drivers
25CONFIG_SERIAL=y
26CONFIG_UART_INTERRUPT_DRIVEN=y
27
28# Enable Console
29CONFIG_CONSOLE=y
30CONFIG_UART_CONSOLE=y
31