1# 2# Copyright (c) 2022 metraTec 3# 4# SPDX-License-Identifier: Apache-2.0 5# 6 7CONFIG_CONSOLE=y 8CONFIG_UART_CONSOLE=y 9CONFIG_SERIAL=y 10CONFIG_UART_INTERRUPT_DRIVEN=y 11CONFIG_GPIO=y 12CONFIG_ARM_MPU=y 13 14CONFIG_RUNTIME_NMI=y 15