# 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