| # 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 |