# Copyright (c) 2019 Lexmark International, Inc. | |
# SPDX-License-Identifier: Apache-2.0 | |
if BOARD_QEMU_CORTEX_R5 | |
config BUILD_OUTPUT_BIN | |
default n | |
config BOARD | |
default "qemu_cortex_r5" | |
if USERSPACE | |
config COMPILER_ISA_THUMB2 | |
default n | |
endif | |
endif # BOARD_QEMU_CORTEX_R5 |