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