1# SPDX-License-Identifier: Apache-2.0
2
3# ARM Options
4CONFIG_AARCH64_IMAGE_HEADER=y
5CONFIG_ARMV8_A_NS=y
6CONFIG_ARM64_VA_BITS_36=y
7CONFIG_ARM64_PA_BITS_36=y
8
9# Cache Options
10CONFIG_CACHE_MANAGEMENT=y
11CONFIG_DCACHE_LINE_SIZE_DETECT=y
12CONFIG_ICACHE_LINE_SIZE_DETECT=y
13
14# Zephyr Kernel Configuration
15CONFIG_XIP=n
16CONFIG_KERNEL_DIRECT_MAP=y
17
18# SMP
19CONFIG_SMP=y
20CONFIG_MP_MAX_NUM_CPUS=2
21CONFIG_PM_CPU_OPS=y
22
23# Serial Drivers
24CONFIG_SERIAL=y
25CONFIG_UART_INTERRUPT_DRIVEN=y
26
27# Enable Console
28CONFIG_CONSOLE=y
29CONFIG_UART_CONSOLE=y
30
31CONFIG_CLOCK_CONTROL=y
32