X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=README;h=f4f03efcbf5b3b91c1dfdf82ac3025243c9d021d;hb=db051fadf34b809fd470918c1a2befc741940c19;hp=68498052f87e4010d384a5156417adacdadc87fd;hpb=390ad290602f87c6516eb4ba4ce426ee0c37d190;p=fedora-riscv.git

diff --git a/README b/README
index 6849805..f4f03ef 100644
--- a/README
+++ b/README
@@ -25,7 +25,7 @@ Most users will download binaries.  Of course source will be available
 for [almost*] everything, buildable from source RPMS.
 
 Currently no hardware is available, so you either have to run RISC-V
-on an FPGA, or use QEMU emulation.
+on an FPGA, or use QEMU/Spike emulation.
 
 For the FPGA option, you will need a Nexys 4 DDR development kit
 costing around US$341, plus an ordinary micro SD card (8+ GB), plus a
@@ -44,6 +44,12 @@ For the QEMU emulation option, see below.
 
   - Network access is available.
 
+For the Spike emulation option, see below.
+
+  - Spike has unlimited system RAM.
+
+  - No network.
+
 
 [*] Some CPU peripherals use proprietary IP.  The aim is to replace
 these with open equivalents eventually.  Building the FPGA bitstream
@@ -83,8 +89,8 @@ in COPR (https://copr.fedorainfracloud.org/).
 
 However the majority of packages will be built on RISC-V itself.
 Since there are no RISC-V builders, and we cannot really provide them,
-initially developers will be building them on their own FPGAs / QEMUs
-and uploading them.
+initially developers will be building them on their own FPGAs /
+emulators and uploading them.
 
 Getting build infrastructure would be a more long-term aim.
 
@@ -104,7 +110,12 @@ Status: done http://copr-fe.cloud.fedoraproject.org/coprs/rjones/riscv
 Note this package runs on x86-64 hosts, and is intended for people who
 want to run Fedora/RISC-V but who do not have FPGA/hardware.
 
-(1b) Nexys4 DDR FPGA
+(1b) riscv-isa-sim.x86_64: Spike system emulator
+
+Since QEMU is broken at the moment, we must use the slower Spike
+emulator instead.
+
+(1c) Nexys4 DDR FPGA
 
 Various sources, see:
 http://www.lowrisc.org/docs/untether-v0.2/fpga-demo/