1# SPDX-License-Identifier: Apache-2.0
2
3CONFIG_SOC_GR716A=y
4CONFIG_BOARD_GR716A_MINI=y
5CONFIG_CONSOLE=y
6CONFIG_PRINTK=y
7CONFIG_SERIAL=y
8CONFIG_UART_APBUART=y
9CONFIG_UART_CONSOLE=y
10CONFIG_LEON_GPTIMER=y
11