1# SPDX-License-Identifier: Apache-2.0
2
3# The GTC is always clocked at 1/2 of the CPU frequency (CPU_3x2x)
4CONFIG_ARM_ARCH_TIMER=y
5CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=325000000
6
7CONFIG_SERIAL=y
8CONFIG_CONSOLE=y
9CONFIG_UART_CONSOLE=y
10