# SPDX-License-Identifier: Apache-2.0 | |
# Platform Configuration | |
CONFIG_ARM64_VA_BITS_40=y | |
CONFIG_ARM64_PA_BITS_40=y | |
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=24000000 | |
CONFIG_CACHE_MANAGEMENT=y | |
CONFIG_ARMV8_A_NS=y | |
# Serial Drivers | |
CONFIG_SERIAL=y | |
CONFIG_UART_INTERRUPT_DRIVEN=y | |
# Enable Console | |
CONFIG_CONSOLE=y | |
CONFIG_UART_CONSOLE=y |