diff options
Diffstat (limited to 'qemu-deprecated.texi')
| -rw-r--r-- | qemu-deprecated.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/qemu-deprecated.texi b/qemu-deprecated.texi index 9dca81f461..50292d820b 100644 --- a/qemu-deprecated.texi +++ b/qemu-deprecated.texi @@ -175,6 +175,12 @@ This machine type uses an unmaintained firmware, broken in lots of ways, and unable to start post-2004 operating systems. 40p machine type should be used instead. +@subsection spike_v1.9.1 and spike_v1.10 (since 4.1) + +The version specific Spike machines have been deprecated in favour of the +generic ``spike`` machine. If you need to specify an older version of the RISC-V +spec you can use the ``-cpu rv64gcsu,priv_spec=v1.9.1`` command line argument. + @section Device options @subsection Block device options |