1# SPDX-License-Identifier: Apache-2.0
2
3# enable uart driver
4CONFIG_SERIAL=y
5
6# enable GPIO
7CONFIG_GPIO=y
8
9# console
10CONFIG_CONSOLE=y
11CONFIG_UART_CONSOLE=y
12
13# Enable MPU
14CONFIG_ARM_MPU=y
15
16CONFIG_ARM_TRUSTZONE_M=y
17CONFIG_RUNTIME_NMI=y
18CONFIG_TRUSTED_EXECUTION_NONSECURE=y
19
