1# Copyright (c) 2020 InnBlue
2# SPDX-License-Identifier: Apache-2.0
3
4# Enable MPU
5CONFIG_ARM_MPU=y
6
7# Enable TrustZone-M
8CONFIG_ARM_TRUSTZONE_M=y
9
10# This Board implies building Non-Secure firmware
11CONFIG_TRUSTED_EXECUTION_NONSECURE=y
12
13# Enable GPIO
14CONFIG_GPIO=y
15
16# Enable UART driver
17CONFIG_SERIAL=y
18
19# Enable console
20CONFIG_CONSOLE=y
21CONFIG_UART_CONSOLE=y
22