diff options
| author | Alistair Francis <Alistair.Francis@wdc.com> | 2019-04-20 02:24:26 +0000 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@sifive.com> | 2019-05-24 12:09:24 -0700 |
| commit | cd69e3a60b7c97127f56ceba566c5a3d594f42b5 (patch) | |
| tree | 073172df33464d27c0212f4ef893259881eb6c78 /qemu-deprecated.texi | |
| parent | d64db71cf7d9075beac140086d7b4afbe3fb7557 (diff) | |
riscv: spike: Add a generic spike machine
Add a generic spike machine (not tied to a version) and deprecate the
spike mahines that are tied to a specific version. As we can now specify
the CPU via the command line we no londer need specific versions of the
spike machines.
Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
Acked-by: Igor Mammedov <imammedo@redhat.com>
Reviewed-by: Palmer Dabbelt <palmer@sifive.com>
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
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 |