X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=README;h=97e5db4c17f764696202dcdd6d4a8f982acf9c8f;hb=67d2ef5b900e97d527838d5a622fd15754db8460;hp=fc00daafb8c1078a16236c08f9e01110d4895f88;hpb=c05261968d539734f0cca340b2d2beac280e9606;p=fedora-riscv.git

diff --git a/README b/README
index fc00daa..97e5db4 100644
--- a/README
+++ b/README
@@ -35,7 +35,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
@@ -54,6 +54,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
@@ -93,8 +99,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.
 
@@ -114,7 +120,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/