===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.25
retrieving revision 1.26
diff -c -r1.25 -r1.26
*** www/arm64.html	2019/08/30 13:34:00	1.25
--- www/arm64.html	2019/08/30 18:17:22	1.26
***************
*** 120,129 ****
  </ul>
  
  <p>
! In general other boards/machines that use one of the SoCs listed above
! will work as well as long as UEFI firmware (e.g. U-Boot or EDK II
! firmware).  Both device trees and ACPI are supported.  An updated
! device tree may have to be supplied to make OpenBSD usable.
  <p>
  Support for Amlogic G12A/B and Ampere eMAG was added after OpenBSD 6.5
  was released.
--- 120,130 ----
  </ul>
  
  <p>
! In general, other boards/machines that use one of the SoCs listed above
! will work as well, as long as UEFI firmware (e.g. U-Boot or EDK II
! firmware) is available. Both device trees and ACPI are supported.
! An updated device tree may have to be supplied to make OpenBSD usable.
! 
  <p>
  Support for Amlogic G12A/B and Ampere eMAG was added after OpenBSD 6.5
  was released.