X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=README;h=f4f03efcbf5b3b91c1dfdf82ac3025243c9d021d;hb=028f77db6fd870869bea309a765ca8e1aa478356;hp=295519d4d4f5b1608c2494a5491cb86ffab0e59d;hpb=889ade756146565a860bd16b84db6c3958912e7b;p=fedora-riscv.git

diff --git a/README b/README
index 295519d..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.
 
@@ -97,27 +103,37 @@ Bootstrapping stages
 
 (1a) riscv-qemu.x86_64: QEMU + RISC-V system emulation
 
-Current status: Not upstream, fork of qemu 2.5.0.
+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
 
 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
 
-Various sources, see:
-http://www.lowrisc.org/docs/untether-v0.2/fpga-demo/
+Since QEMU is broken at the moment, we must use the slower Spike
+emulator instead.
 
-(1c) Berkley Bootloader (bbl)
+(1c) Nexys4 DDR FPGA
 
-Used to boot the kernel and mount the root filesystem on FPGAs and
-QEMU.  See link above.
+Various sources, see:
+http://www.lowrisc.org/docs/untether-v0.2/fpga-demo/
 
 * Stage 2
 
 (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.
 
 * Stage 3