===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/arm64.html,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -r1.37 -r1.38
--- www/arm64.html	2020/12/25 12:38:25	1.37
+++ www/arm64.html	2020/12/29 11:32:28	1.38
@@ -35,7 +35,7 @@
 <h3 id="status"><strong>Current status</strong></h3>
 
 <p>
-The current target platforms are Allwinner A64/H5, Amlogic G12A/B,
+The current target platforms are Allwinner A64/H5, Amlogic G12B/SM1,
 AMD Opteron A1100, Ampere eMAG, Marvell ARMADA 7K/8K, Rockchip RK3328/RK3399,
 Broadcom BCM2837/BCM2711 (Raspberry Pi 3/4) and Socionext SCA11.
 
@@ -59,10 +59,10 @@
 </pre>
 
 <p>
-The Raspberry Pi 4 is only supported when using EDK2-based UEFI firmware.
-By default the boot ROM will only try to load the firmware off an SD card.
-There is no SD/MMC driver yet, but there are no manual steps needed to
-boot from a USB disk drive.
+The Raspberry Pi 4 is only supported when using EDK2-based UEFI
+firmware.  By default the boot ROM will only try to load the firmware
+off an SD card.  No manual steps needed to boot from a USB disk drive
+as the UEFI prefers booting from USB over booting from SD card.
 
 <p>
 Ampere eMAG and AMD Opteron systems come with a UEFI firmware in ROM
@@ -95,9 +95,11 @@
 		<li>SoftIron OverDrive 1000
 		<li>SoftIron OverDrive 3000
 	</ul>
-	<li>Amlogic G12A/B
+	<li>Amlogic G12B/SM1
 	<ul>
 		<li><a href="https://www.hardkernel.com/shop/odroid-n2-with-4gbyte-ram/">Hardkernel ODROID-N2</a>
+		<li><a href="https://www.hardkernel.com/shop/odroid-c4/">Hardkernel ODROID-C4</a>
+		<li><a href="https://www.hardkernel.com/shop/odroid-hc4/">Hardkernel ODROID-HC4</a>
 	</ul>
 	<li>Ampere eMAG
 	<ul>