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