diff options
author | Hesham Almatary <hesham.almatary@cl.cam.ac.uk> | 2022-12-23 09:47:29 +0000 |
---|---|---|
committer | Hesham Almatary <hesham.almatary@cl.cam.ac.uk> | 2023-01-09 18:23:37 +0000 |
commit | 8c6f631229a7f752f960bae3f7bcfeb7ec4e09ed (patch) | |
tree | 294dbc1290c2d3a7e71beed3bfcb94f6943d8cf4 /user/bsps | |
parent | RISC-V: Remove the RISCV_ENABLE_HTIF_SUPPORT option (diff) | |
download | rtems-docs-8c6f631229a7f752f960bae3f7bcfeb7ec4e09ed.tar.bz2 |
RISC-V: Update docs on running on QEMU and Spike
Diffstat (limited to '')
-rw-r--r-- | user/bsps/bsps-riscv.rst | 26 |
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 ----------------------- |