===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.57
retrieving revision 1.58
diff -c -r1.57 -r1.58
*** www/arm64.html	2022/09/02 15:58:05	1.57
--- www/arm64.html	2022/09/06 20:44:40	1.58
***************
*** 153,158 ****
--- 153,162 ----
  	<ul>
  		<li><a href="https://www.solid-run.com/marvell-armada-family/macchiatobin/">SolidRun/Marvell MACCHIATObin</a>
  	</ul>
+ 	<li>Qualcomm SC8020XP
+ 	<ul>
+ 		<li>Lenovo Thinkpad X13s</a>
+ 	</ul>
  	<li>Rockchip RK3328/RK3399(pro)
  	<ul>
  		<li><a href="https://www.pine64.org/devices/single-board-computers/rock64/">Pine64 ROCK64</a>
***************
*** 176,184 ****
  An updated device tree may have to be supplied to make OpenBSD usable.
  
  <p>
! Support for Ampere Altra and Apple M2 systems was added after OpenBSD
! 7.1 was released. On these systems, you'll need a recent snapshot
! until OpenBSD 7.2 is available.
  
  <h4>Ethernet</h4>
  <ul>
--- 180,188 ----
  An updated device tree may have to be supplied to make OpenBSD usable.
  
  <p>
! Support for Ampere Altra, Apple M2 and Qualcomm SC8280XP systems was
! added after OpenBSD 7.1 was released. On these systems, you'll need a
! recent snapshot until OpenBSD 7.2 is available.
  
  <h4>Ethernet</h4>
  <ul>
***************
*** 227,234 ****
  	<li><a href="https://man.openbsd.org/arm64/ehci.4">ehci(4)</a>
  	  on Allwinner A64/H5/H6 and Rockchip RK3328/RK3399
  	<li><a href="https://man.openbsd.org/arm64/xhci.4">xhci(4)</a>
! 	  on Amlogic G12A/B, Ampere eMAG, Marvell ARMADA 3K/7K/8K,
! 	  Overdrive 1000, Raspberry Pi 4, Rockchip RK3399 and SynQuacer-E
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a
--- 231,239 ----
  	<li><a href="https://man.openbsd.org/arm64/ehci.4">ehci(4)</a>
  	  on Allwinner A64/H5/H6 and Rockchip RK3328/RK3399
  	<li><a href="https://man.openbsd.org/arm64/xhci.4">xhci(4)</a>
! 	  on Amlogic G12A/B, Ampere eMAG, Apple M1/M2, Marvell ARMADA
! 	  3K/7K/8K, Overdrive 1000, Raspberry Pi 4, Qualcomm SC8280XP,
! 	  Rockchip RK3399 and SynQuacer-E
  </ul>
  
  <strong>No real time clock:</strong> Many of the arm64 devices do not have a