| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_SOC_SERIES_XILINX_XC7ZXXX=y | |
| CONFIG_SOC_XILINX_XC7Z010=y | |
| CONFIG_BOARD_ZYBO=y | |
| # 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_PINCTRL=y | |
| CONFIG_SERIAL=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y |