# SPDX-License-Identifier: Apache-2.0 | |
if BOARD_QEMU_X86_64 | |
config BUILD_OUTPUT_BIN | |
default n | |
config BOARD | |
default "qemu_x86_64" | |
# In theory we could ask qemu for any configuration, but this seems | |
# like a good default. | |
config MP_NUM_CPUS | |
default 2 | |
endif # BOARD_QEMU_X86_64 |