1# Copyright (c) 2019 Lexmark International, Inc.
2# SPDX-License-Identifier: Apache-2.0
3
4if BOARD_QEMU_CORTEX_R5
5
6config BUILD_OUTPUT_BIN
7 default n
8
9if USERSPACE
10
11config COMPILER_ISA_THUMB2
12 default n
13
14endif
15
16endif # BOARD_QEMU_CORTEX_R5
17
