# SPDX-License-Identifier: Apache-2.0
# Copyright (c) 2017 Linaro

CONFIG_BUILD_OUTPUT_HEX=y

# Floating point options
CONFIG_FPU=y

# Enable UART driver
CONFIG_SERIAL=y

# Enable console
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
