system/riscv/virt.rst

36 the various devices in the system. Guest software should discover the devices
67   $ qemu-system-riscv64 \
79   $ qemu-system-riscv64 \
95   $ qemu-system-riscv64 -M virt -device riscv-iommu-pci (...)
101   $ qemu-system-riscv64 -M virt,iommu-sys=on (...)
167   $ qemu-system-riscv64 -M virt -smp 4 -m 2G \
186 Replace ``qemu-system-riscv64`` with ``qemu-system-riscv32`` in the command
206   $ qemu-system-riscv64 -M virt -smp 4 -m 2G \
224   $ qemu-system-riscv64 -M virt -smp 4 -m 2G \
230 riscv32_spl_defconfig builds, and replace ``qemu-system-riscv64`` with
231 ``qemu-system-riscv32`` in the command lines above to boot the 32-bit U-Boot.
249   $ qemu-system-riscv64 \