# SPDX-License-Identifier: Apache-2.0 | |
# Platform Configuration | |
CONFIG_ARM64_VA_BITS_36=y | |
CONFIG_ARM64_PA_BITS_36=y | |
# Zephyr Kernel Configuration | |
CONFIG_XIP=n | |
CONFIG_FLASH_SIZE=0 | |
CONFIG_FLASH_BASE_ADDRESS=0x0 | |
# Serial Drivers | |
CONFIG_SERIAL=y | |
CONFIG_UART_INTERRUPT_DRIVEN=y | |
# Enable Console | |
CONFIG_CONSOLE=y | |
CONFIG_UART_CONSOLE=y | |
# Timer Drivers | |
CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME=y |