# # Copyright (c) 2022 metraTec # # SPDX-License-Identifier: Apache-2.0 # CONFIG_CONSOLE=y CONFIG_UART_CONSOLE=y CONFIG_SERIAL=y CONFIG_UART_INTERRUPT_DRIVEN=y CONFIG_GPIO=y CONFIG_PINCTRL=y CONFIG_ARM_MPU=y CONFIG_RUNTIME_NMI=y