| # Copyright (c) 2022, Teslabs Engineering S.L. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| CONFIG_SOC_SERIES_GD32F4XX=y | |
| CONFIG_SOC_GD32F450=y | |
| CONFIG_BOARD_GD32F450V_START=y | |
| CONFIG_ARM_MPU=y | |
| CONFIG_HW_STACK_PROTECTION=y | |
| CONFIG_CONSOLE=y | |
| CONFIG_UART_CONSOLE=y | |
| CONFIG_SERIAL=y | |
| CONFIG_GPIO=y |