1# SPDX-License-Identifier: Apache-2.0
2
3# Platform Configuration
4CONFIG_ARM64_VA_BITS_36=y
5CONFIG_ARM64_PA_BITS_36=y
6
7# Zephyr Kernel Configuration
8CONFIG_XIP=n
9CONFIG_FLASH_SIZE=0
10CONFIG_FLASH_BASE_ADDRESS=0x0
11
12# Serial Drivers
13CONFIG_SERIAL=y
14CONFIG_UART_INTERRUPT_DRIVEN=y
15
16# Enable Console
17CONFIG_CONSOLE=y
18CONFIG_UART_CONSOLE=y
19
20# Timer Drivers
21CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y
22