1#
2# Copyright (c) 2019 Linaro Limited
3#
4# SPDX-License-Identifier: Apache-2.0
5#
6
7CONFIG_RUNTIME_NMI=y
8CONFIG_ARM_TRUSTZONE_M=y
9CONFIG_ARM_MPU=y
10
11# Serial
12CONFIG_CONSOLE=y
13CONFIG_UART_CONSOLE=y
14CONFIG_SERIAL=y
15