===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/70.html,v
retrieving revision 1.2
retrieving revision 1.3
diff -c -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,85 ****
--- 80,87 ----
  
  <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,407 ****
  	.../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/sparc64/INSTALL.sparc64">
  	.../OpenBSD/7.0/sparc64/INSTALL.sparc64</a>
  </ul>
--- 402,409 ----
  	.../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/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,545 ****
  install</i> menu item in Petitboot.
  Refer to the instructions in INSTALL.powerpc64 for more details.
  
! <h3>OpenBSD/sgi:</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.
  
  <h3>OpenBSD/sparc64:</h3>
  
--- 529,542 ----
  install</i> menu item in Petitboot.
  Refer to the instructions in INSTALL.powerpc64 for more details.
  
! <h3>OpenBSD/riscv64:</h3>
  
  <p>
! 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>