===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -r1.8 -r1.9
--- www/arm64.html	2017/04/11 04:51:08	1.8
+++ www/arm64.html	2017/05/02 18:25:33	1.9
@@ -40,15 +40,17 @@
 <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
 
 <p>
-The current target platforms are Pine64, Raspberry Pi 3 and Opteron A1100.
+The current target platforms are Firefly-RK3399, Pine64, Raspberry Pi
+3 and Opteron A1100.
 </p>
 
 <p>
 The Pine64 currently requires an image based on a non-redistributable
-boot0 file from Allwinner to be installed on the system disk.
-This will hopefully be resolved by a replacement in a future U-Boot
-release.  The install media does not include these boot images or
-a Pine64 device tree.
+boot0 file from Allwinner to be installed on the system disk.  This
+will hopefully be resolved by a replacement in a future U-Boot
+release.  The install media does not include these boot images or a
+Pine64 device tree.  For similar reasons we do not provide install
+media for the Firefly-RK3399 either.
 </p>
 
 <p>
@@ -100,6 +102,10 @@
 	<ul>
 		<li>Raspberry Pi 3
 	</ul>
+	<li>Rockchip RK3399
+	<ul>
+		<li>Firefly-RK3399
+	</ul>
 </ul>
 
 <h4>Ethernet</h4>
@@ -121,7 +127,7 @@
 	<li><a href="http://man.openbsd.org/?query=dwctwo&amp;sektion=4&amp;arch=arm64">dwctwo(4)</a>
 	  on <tt>Raspberry Pi 3</tt></li>
 	<li><a href="http://man.openbsd.org/?query=ehci&amp;sektion=4&amp;arch=arm64">ehci(4)</a>
-	  on <tt>Pine64</tt></li>
+	  on <tt>Pine64</tt> and <tt>Firefly-RK3399</tt></li>
 	<li><a href="http://man.openbsd.org/?query=xhci&amp;sektion=4&amp;arch=arm64">xhci(4)</a>
 	  on <tt>OverDrive 1000</tt></li>
 </ul>