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# Platform Configuration
15
16# Zephyr Kernel Configuration
17CONFIG_XIP=n
18
19# Serial Drivers
20CONFIG_SERIAL=y
21CONFIG_UART_INTERRUPT_DRIVEN=y
22
23# Enable Console
24CONFIG_CONSOLE=y
25CONFIG_UART_CONSOLE=y
26