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# This board implies building Non-Secure firmware
13CONFIG_TRUSTED_EXECUTION_NONSECURE=y
14
15# Enable GPIO
16CONFIG_GPIO=y
17
18# Enable UART driver
19CONFIG_SERIAL=y
20
21# Enable console
22CONFIG_CONSOLE=y
23CONFIG_UART_CONSOLE=y
24