===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.8
retrieving revision 1.9
diff -c -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,54 ****
  <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
  
  <p>
! The current target platforms are 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.
  </p>
  
  <p>
--- 40,56 ----
  <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
  
  <p>
! 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.  For similar reasons we do not provide install
! media for the Firefly-RK3399 either.
  </p>
  
  <p>
***************
*** 100,105 ****
--- 102,111 ----
  	<ul>
  		<li>Raspberry Pi 3
  	</ul>
+ 	<li>Rockchip RK3399
+ 	<ul>
+ 		<li>Firefly-RK3399
+ 	</ul>
  </ul>
  
  <h4>Ethernet</h4>
***************
*** 121,127 ****
  	<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>
  	<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>
--- 127,133 ----
  	<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> 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>