Re: [PATCH for-10.0] docs: deprecate RISC-V default machine option

2025-04-06 Thread Alistair Francis
On Fri, Apr 4, 2025 at 10:30 PM 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 riscv6

Re: [PATCH for-10.0] docs: deprecate RISC-V default machine option

2025-04-06 Thread Alistair Francis
On Fri, Apr 4, 2025 at 10:30 PM 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 riscv6

Re: [PATCH for-10.0] docs: deprecate RISC-V default machine option

2025-04-04 Thread Richard Henderson
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

Re: [PATCH for-10.0] docs: deprecate RISC-V default machine option

2025-04-04 Thread Daniel Henrique Barboza
On 4/4/25 10:07 AM, Philippe Mathieu-Daudé wrote: On 4/4/25 14: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 sens

Re: [PATCH for-10.0] docs: deprecate RISC-V default machine option

2025-04-04 Thread Philippe Mathieu-Daudé
On 4/4/25 14: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

[PATCH for-10.0] docs: deprecate RISC-V default machine option

2025-04-04 Thread Daniel Henrique Barboza
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 intui