===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.11
retrieving revision 1.12
diff -c -r1.11 -r1.12
*** www/arm64.html	2017/08/24 05:11:05	1.11
--- www/arm64.html	2017/08/25 20:32:38	1.12
***************
*** 40,62 ****
  <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 install media does not include firmware required to boot the
! Firefly-RK3399.
  </p>
  
  <p>
  The Raspberry Pi 3 requires closed but redistributable files on the
! system disk to load into the VC4 GPU which starts the ARM cores.
! By default the boot ROM will only try to load these files off an SD card.
  These files are present in the install media but there is no driver
! for SD/MMC yet so a USB disk drive and manual steps are required.
! To load the firmware off the SD card and have the root disk on USB
! after installing OpenBSD reboot and interrupt U-Boot before the timeout
  expires and instruct U-Boot to prefer USB over the SD card:
  </p>
  
--- 40,62 ----
  <h3><font color="#0000e0"><strong>Current status</strong></font></h3>
  
  <p>
! The current target platforms are Rochckip RK3399, Allwinner A64/H5,
! Raspberry Pi 3 and Opteron A1100.
  </p>
  
  <p>
! The install media includes firmware required to boot the Pine 64/64+
! and Raspberry Pi.
  </p>
  
  <p>
  The Raspberry Pi 3 requires closed but redistributable files on the
! system disk to load into the VC4 GPU which starts the ARM cores.  By
! default the boot ROM will only try to load these files off an SD card.
  These files are present in the install media but there is no driver
! for SD/MMC yet so a USB disk drive and manual steps are required.  To
! load the firmware off the SD card and have the root disk on USB after
! installing OpenBSD reboot and interrupt U-Boot before the timeout
  expires and instruct U-Boot to prefer USB over the SD card:
  </p>
  
***************
*** 71,77 ****
--- 71,84 ----
  Opteron A1100 machines on the other hand come with a UEFI firmware
  that includes a device tree and can boot off SATA or USB devices without
  board specific boot files on the system disk.
+ </p>
+ 
  <p>
+ All other machines that lack UEFI firmware require additional steps to
+ create bootable install media.  See the
+ <a href="https://ftp.OpenBSD.org/pub/OpenBSD/snapshots/arm64/INSTALL.arm64">
+ OpenBSD/arm64 snapshot installation instructions</a> for further details.
+ </p>
  
  <a name="hardware"></a>
  <h3><font color="#0000e0"><strong>Supported hardware</strong></font></h3>
***************
*** 84,92 ****
  </p>
  
  <ul>
! 	<li>Allwinner A64
  	<ul>
! 		<li>Pine64
  	</ul>
  	<li>AMD Opteron A1100 (Seattle)
  	<ul>
--- 91,100 ----
  </p>
  
  <ul>
! 	<li>Allwinner A64/H5
  	<ul>
! 		<li>Pine 64/64+
! 		<li>Orange Pi PC2
  	</ul>
  	<li>AMD Opteron A1100 (Seattle)
  	<ul>
***************
*** 106,121 ****
  
  <h4>Ethernet</h4>
  <ul>
! 	<li><a href="https://man.openbsd.org/?query=smsc&amp;sektion=4&amp;arch=arm64">smsc(4)</a>
! 	  integrated SMSC LAN95xx 10/100 USB Ethernet on <tt>Raspberry Pi 3</tt></li>
  	<li><a href="https://man.openbsd.org/?query=msk&amp;sektion=4&amp;arch=arm64">msk(4)</a>
  	  integrated Marvell Yukon-2 10/100/Gigabit Ethernet on <tt>OverDrive 1000</tt></li>
  </ul>
  
  <h4>Storage</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=ahci&amp;sektion=4&amp;arch=arm64">ahci(4)</a>
  	  on <tt>Opteron A1100</tt></li>
  </ul>
  
  <h4>USB</h4>
--- 114,135 ----
  
  <h4>Ethernet</h4>
  <ul>
! 	<li><a href="https://man.openbsd.org/?query=dwge&amp;sektion=4&amp;arch=arm64">dwge(4)</a>
! 	  integrated Synopsys DesignWare GMAC 10/100/Gigabit Ethernet on <tt>Rockchip RK3399</tt></li>
  	<li><a href="https://man.openbsd.org/?query=msk&amp;sektion=4&amp;arch=arm64">msk(4)</a>
  	  integrated Marvell Yukon-2 10/100/Gigabit Ethernet on <tt>OverDrive 1000</tt></li>
+ 	<li><a href="https://man.openbsd.org/?query=smsc&amp;sektion=4&amp;arch=arm64">smsc(4)</a>
+ 	  integrated SMSC LAN95xx 10/100 USB Ethernet on <tt>Raspberry Pi 3</tt></li>
  </ul>
  
  <h4>Storage</h4>
  <ul>
  	<li><a href="https://man.openbsd.org/?query=ahci&amp;sektion=4&amp;arch=arm64">ahci(4)</a>
  	  on <tt>Opteron A1100</tt></li>
+ 	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">dwmmc(4)</a>
+ 	  on <tt>Rockchip RK3399</tt></li>
+ 	<li><a href="https://man.openbsd.org/?query=dwmmc&amp;sektion=4&amp;arch=arm64">sdhc(4)</a>
+ 	  on <tt>Rockchip RK3399</tt></li>
  </ul>
  
  <h4>USB</h4>