1#
2# Copyright (c) 2018-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
10CONFIG_QEMU_ICOUNT_SHIFT=7
11
12# GPIOs
13CONFIG_GPIO=y
14
15# Serial
16CONFIG_CONSOLE=y
17CONFIG_UART_CONSOLE=y
18CONFIG_SERIAL=y
19
20# Build a Secure firmware image
21CONFIG_TRUSTED_EXECUTION_SECURE=y
22