summaryrefslogtreecommitdiffstats
path: root/user
diff options
context:
space:
mode:
authorHesham Almatary <hesham.almatary@cl.cam.ac.uk>2022-12-23 09:47:29 +0000
committerHesham Almatary <hesham.almatary@cl.cam.ac.uk>2023-01-09 18:23:37 +0000
commit8c6f631229a7f752f960bae3f7bcfeb7ec4e09ed (patch)
tree294dbc1290c2d3a7e71beed3bfcb94f6943d8cf4 /user
parentRISC-V: Remove the RISCV_ENABLE_HTIF_SUPPORT option (diff)
downloadrtems-docs-8c6f631229a7f752f960bae3f7bcfeb7ec4e09ed.tar.bz2
RISC-V: Update docs on running on QEMU and Spike
Diffstat (limited to 'user')
-rw-r--r--user/bsps/bsps-riscv.rst26
1 files changed, 23 insertions, 3 deletions
diff --git a/user/bsps/bsps-riscv.rst b/user/bsps/bsps-riscv.rst
index 28682f6..6604d1f 100644
--- a/user/bsps/bsps-riscv.rst
+++ b/user/bsps/bsps-riscv.rst
@@ -137,9 +137,9 @@ according to the device tree "/chosen/stdout-path" property value.
QEMU
----
-All of the BSP variants that start with rv can be run on QEMU's virt machine.
-For instance, to run the ``rv64imafdc`` BSP with the following
-"config.ini" file.
+All of the BSP variants that start with rv can be run on QEMU's virt
+and spike machines. For instance, to run the ``rv64imafdc`` BSP with the
+following "config.ini" file.
.. code-block:: none
[riscv/rv64imafdc]
@@ -148,6 +148,26 @@ Run the following QEMU command.
.. code-block:: shell
$ qemu-system-riscv64 -M virt -nographic -bios $RTEMS_EXE
+ $ qemu-system-riscv64 -M spike -nographic -bios $RTEMS_EXE
+
+Spike
+----
+All of the BSP variants that start with rv can be run on Spike.
+For instance, to run the ``rv64imafdc`` BSP with the following
+"config.ini" file.
+
+.. code-block:: none
+ [riscv/rv64imafdc]
+
+Run the following Spike command.
+
+.. code-block:: shell
+ $ spike --isa=rv64imafdc $RTEMS_EXE
+
+Unlike QEMU, Spike supports enabling/disabling a subset of the imafdc extensions
+and has support for further RISC-V extensions as well. A fault will be triggered
+if an executable built with rv64imafdc RISC-V's -march option run on Spike with
+--isa=rv64i option. If no --isa option is specified, the default is rv64imafdc.
Microchip PolarFire SoC
-----------------------