On 4/4/25 05:28, Daniel Henrique Barboza wrote:
Commit 5b4beba124 ("RISC-V Spike Machines") added the Spike machine and
made it default for qemu-system-riscv32/64. It was the first RISC-V
machine added in QEMU so setting it as default was sensible.
Today we have 7 riscv64 and 6 riscv32 machines and having 'spike' as
default machine is not intuitive. For example, [1] is a bug that was
opened with the 'virt' board in mind, but given that the user didn't
pass a '-machine' option, the user was using 'spike' without knowing.
Being explicit in the command line is desirable when we have a handful
of boards available, so deprecate the default machine setting from
RISC-V.
[1]https://gitlab.com/qemu-project/qemu/-/issues/2467
Suggested-by: Philippe Mathieu-Daudé<phi...@linaro.org>
Signed-off-by: Daniel Henrique Barboza<dbarb...@ventanamicro.com>
---
docs/about/deprecated.rst | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
r~