===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.57
retrieving revision 1.58
diff -u -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,6 +153,10 @@
 	<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,9 +180,9 @@
 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.
+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,8 +231,9 @@
 	<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
+	  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