1# SPDX-License-Identifier: Apache-2.0
2
3# Enable MPU
4CONFIG_ARM_MPU=y
5
6# Enable hardware stack protection
7CONFIG_HW_STACK_PROTECTION=y
8
9# Enable TrustZone-M
10CONFIG_ARM_TRUSTZONE_M=y
11
12# Enable GPIO
13CONFIG_GPIO=y
14
15# Enable UART driver
16CONFIG_SERIAL=y
17
18# Enable console
19CONFIG_CONSOLE=y
20CONFIG_UART_CONSOLE=y
21
22# This board implies building Non-Secure firmware
23CONFIG_TRUSTED_EXECUTION_NONSECURE=y
24