File tree Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -304,6 +304,23 @@ online to check that this board did not completely bitrot yet). It is
304
304
recommended to use another MIPS machine for future MIPS code development
305
305
instead.
306
306
307
+ RISC-V default machine option (since 10.0)
308
+ ''''''''''''''''''''''''''''''''''''''''''
309
+
310
+ RISC-V defines ``spike `` as the default machine if no machine option is
311
+ given in the command line. This happens because ``spike `` is the first
312
+ RISC-V machine implemented in QEMU and setting it as default was
313
+ convenient at that time. Now we have 7 riscv64 and 6 riscv32 machines
314
+ and having ``spike `` as a default is no longer justified. This default
315
+ will also promote situations where users think they're running ``virt ``
316
+ (the most used RISC-V machine type in 10.0) when in fact they're
317
+ running ``spike ``.
318
+
319
+ Removing the default machine option forces users to always set the machine
320
+ they want to use and avoids confusion. Existing users of the ``spike ``
321
+ machine must ensure that they're setting the ``spike `` machine in the
322
+ command line (``-M spike ``).
323
+
307
324
308
325
Backend options
309
326
---------------
You can’t perform that action at this time.
0 commit comments