if BOARD_QEMU_RISCV32

config BUILD_OUTPUT_BIN
        default n

config BOARD
	default "qemu_riscv32"

endif