===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/70.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- www/70.html	2021/09/15 10:47:54	1.2
+++ www/70.html	2021/09/15 12:21:13	1.3
@@ -80,6 +80,8 @@
 
 <li>New/extended platforms:
   <ul>
+    <li>New <a href="riscv64.html">riscv64</a> platform for 64-bit RISC-V
+        systems.
     <li>Support for the <a href="powerpc64.html">powerpc64</a> platform was improved:
     <ul>
 	<li>...
@@ -400,8 +402,8 @@
 	.../OpenBSD/7.0/octeon/INSTALL.octeon</a>
 <li><a href="https://ftp.openbsd.org/pub/OpenBSD/7.0/powerpc64/INSTALL.powerpc64">
 	.../OpenBSD/7.0/powerpc64/INSTALL.powerpc64</a>
-<li><a href="https://ftp.openbsd.org/pub/OpenBSD/7.0/sgi/INSTALL.sgi">
-	.../OpenBSD/7.0/sgi/INSTALL.sgi</a>
+<li><a href="https://ftp.openbsd.org/pub/OpenBSD/7.0/riscv64/INSTALL.riscv64">
+	.../OpenBSD/7.0/riscv64/INSTALL.riscv64</a>
 <li><a href="https://ftp.openbsd.org/pub/OpenBSD/7.0/sparc64/INSTALL.sparc64">
 	.../OpenBSD/7.0/sparc64/INSTALL.sparc64</a>
 </ul>
@@ -527,19 +529,14 @@
 install</i> menu item in Petitboot.
 Refer to the instructions in INSTALL.powerpc64 for more details.
 
-<h3>OpenBSD/sgi:</h3>
+<h3>OpenBSD/riscv64:</h3>
 
 <p>
-To install, burn cd70.iso on a CD-R, put it in the CD drive of your
-machine and select <i>Install System Software</i> from the System Maintenance
-menu. Indigo/Indy/Indigo2 (R4000) systems will not boot automatically from
-CD-ROM, and need a proper invocation from the PROM prompt.
-Refer to the instructions in INSTALL.sgi for more details.
-
-<p>
-If your machine doesn't have a CD drive, you can setup a DHCP/tftp network
-server, and boot using "bootp()/bsd.rd.IP##" using the kernel matching your
-system type. Refer to the instructions in INSTALL.sgi for more details.
+To install, write <i>install70.img</i> or <i>miniroot70.img</i> to a
+USB stick, and boot with that drive plugged in.
+Make sure you also have the microSD card plugged in that shipped with the
+HiFive Unmatched board.
+Refer to the instructions in INSTALL.riscv64 for more details.
 
 <h3>OpenBSD/sparc64:</h3>