1#
2# Copyright (c) 2017 Linaro Limited
3#
4# SPDX-License-Identifier: Apache-2.0
5#
6
7CONFIG_SOC_SERIES_MPS2=y
8CONFIG_SOC_MPS2_AN385=y
9CONFIG_BOARD_MPS2_AN385=y
10CONFIG_RUNTIME_NMI=y
11CONFIG_QEMU_ICOUNT_SHIFT=7
12
13# GPIOs
14CONFIG_GPIO=y
15
16# Serial
17CONFIG_CONSOLE=y
18CONFIG_UART_CONSOLE=y
19CONFIG_SERIAL=y
20
21CONFIG_ARM_MPU=y
22