X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=README;h=f4f03efcbf5b3b91c1dfdf82ac3025243c9d021d;hb=7de4bc1e187cf03c5126311fbd99a162aa8ad117;hp=1224fa58d7ce1f11f1a5c21811cf0f6b4811beb4;hpb=4e55273e47aaaa2bf7e2622c908c39e9e4af295c;p=fedora-riscv.git

diff --git a/README b/README
index 1224fa5..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.
 
@@ -99,12 +105,17 @@ Bootstrapping stages
 
 Not upstream, fork of qemu 2.5.0.
 https://github.com/riscv/riscv-qemu
-Status: done http://copr-fe.cloud.fedoraproject.org/coprs/rjones/riscv-qemu/
+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/
@@ -114,10 +125,13 @@ http://www.lowrisc.org/docs/untether-v0.2/fpga-demo/
 (2a) GNU cross-compiler toolchain.
 
 https://github.com/lowRISC/riscv-gnu-toolchain
+Status: done http://copr-fe.cloud.fedoraproject.org/coprs/rjones/riscv
 
 (2b) Berkley Bootloader (bbl)
 
 https://github.com/lowrisc/riscv-pk.git
+Status: done http://copr-fe.cloud.fedoraproject.org/coprs/rjones/riscv
+
 Used to boot the kernel and mount the root filesystem on FPGAs and
 QEMU.