1# SPDX-License-Identifier: Apache-2.0
2# Copyright (c) 2017 Linaro
3
4CONFIG_BUILD_OUTPUT_HEX=y
5
6# Floating point options
7CONFIG_FPU=y
8
9# Enable UART driver
10CONFIG_SERIAL=y
11
12# Enable console
13CONFIG_CONSOLE=y
14CONFIG_UART_CONSOLE=y
15