boards/digilent/zybo/zybo_defconfig - third_party/github/zephyrproject-rtos/zephyr - Git at Google

 # SPDX-License-Identifier: Apache-2.0

 # The GTC is always clocked at 1/2 of the CPU frequency (CPU_3x2x)
 CONFIG_ARM_ARCH_TIMER=y
 CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=325000000

 CONFIG_SERIAL=y
 CONFIG_CONSOLE=y
 CONFIG_UART_CONSOLE=y
	# SPDX-License-Identifier: Apache-2.0

	# The GTC is always clocked at 1/2 of the CPU frequency (CPU_3x2x)
	CONFIG_ARM_ARCH_TIMER=y
	CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=325000000

	CONFIG_SERIAL=y
	CONFIG_CONSOLE=y
	CONFIG_UART_CONSOLE=y