1# SPDX-License-Identifier: Apache-2.0
2
3# Platform Configuration
4CONFIG_ARM64_VA_BITS_40=y
5CONFIG_ARM64_PA_BITS_40=y
6CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=24000000
7CONFIG_CACHE_MANAGEMENT=y
8CONFIG_ARMV8_A_NS=y
9
10# Serial Drivers
11CONFIG_SERIAL=y
12CONFIG_UART_INTERRUPT_DRIVEN=y
13
14# Enable Console
15CONFIG_CONSOLE=y
16CONFIG_UART_CONSOLE=y
17