--- wikisrc/ports/evbarm/allwinner.mdwn	2018/05/23 21:14:50	1.91
+++ wikisrc/ports/evbarm/allwinner.mdwn	2018/07/09 11:54:39	1.92
@@ -45,7 +45,7 @@ NetBSD supports many boards based on All
 
 # Supported hardware
 
-Please refer to the [SUNXI kernel config](https://nxr.netbsd.org/xref/src/sys/arch/evbarm/conf/SUNXI) for the most up-to-date list of supported hardware.
+Please refer to the [32-bit](https://nxr.netbsd.org/xref/src/sys/arch/evbarm/conf/SUNXI) or [64-bit](https://nxr.netbsd.org/xref/src/sys/arch/evbarm/conf/GENERIC64) kernel configs for the most up-to-date list of supported hardware.
 
 <table>
   <thead>
@@ -77,7 +77,7 @@ Please refer to the [SUNXI kernel config
     <tr><td>RTC</td><td>Yes</td><td></td></tr>
     <tr><td>SATA</td><td>Yes</td><td></td></tr>
     <tr><td>SD/MMC</td><td>Yes</td><td></td></tr>
-    <tr><td>SMP</td><td>Yes</td><td>32-bit only. Uses PSCI support in firmware</td></tr>
+    <tr><td>SMP</td><td>Yes</td><td>PSCI</td></tr>
     <tr><td>SPDIF</td><td>-</td><td></td></tr>
     <tr><td>SPI</td><td>Yes</td><td></td></tr>
     <tr><td>Thermal sensors</td><td>Yes</td><td></td></tr>