1#
2# Copyright (c) 2018-2021 Linaro Limited
3#
4# SPDX-License-Identifier: Apache-2.0
5#
6
7CONFIG_SOC_SERIES_MPS3=y
8CONFIG_SOC_MPS3_AN547=y
9CONFIG_BOARD_MPS3_AN547=y
10CONFIG_RUNTIME_NMI=y
11CONFIG_ARM_TRUSTZONE_M=y
12CONFIG_ARM_MPU=y
13CONFIG_QEMU_ICOUNT_SHIFT=7
14
15# GPIOs
16CONFIG_GPIO=y
17
18# Serial
19CONFIG_CONSOLE=y
20CONFIG_UART_CONSOLE=y
21CONFIG_SERIAL=y
22
23# Build a Secure firmware image
24CONFIG_TRUSTED_EXECUTION_SECURE=y
25