qemu-system-riscv64 -machine \? Supported machines are: microchip-icicle-kit Microchip PolarFire SoC Icicle Kit none empty machine shakti_c RISC-V Board compatible with Shakti SDK sifive_e RISC-V Board compatible with SiFive E SDK sifive_u RISC-V Board compatible with SiFive U SDK spike RISC-V Spike board (default) virt RISC-V VirtIO board