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