blob: 4cd04257cc98d4786f6d65b84ea48dfae8ee11df [file] [log] [blame]
# 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