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# Serial Drivers
19CONFIG_SERIAL=y
20CONFIG_UART_INTERRUPT_DRIVEN=y
21
22# Enable Console
23CONFIG_CONSOLE=y
24CONFIG_UART_CONSOLE=y
25
26CONFIG_CLOCK_CONTROL=y
27