--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/01/07 13:09:23	1.122
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/01/26 17:15:52	1.126
@@ -14,6 +14,8 @@ In mid-2018, -current gained support for
 
 # What works (and what doesn't yet)
 
+"Works" is primarily relative to the earmv6hf-el and earmv7hf-el CPU targets (32-bit).
+
 ## NetBSD 7 and NetBSD 8
 
  - RPI1, RPI2, RPI2-1.2, RPI3, RPI3+ (except RPI3 builtin WiFi and bluetooth)
@@ -33,11 +35,20 @@ In mid-2018, -current gained support for
  - I²C: works, could use enhancements, man page
  - SPI: could use enhancements, man page
 
-## NetBSD current (and probably 9)
+## NetBSD 9
 
- - RPI3 builtin bluetooth
+ - aarch64 support (RPI3, and should work on all supported systems with 64-bit CPUs)
  - RPI3 new SD host controller driver
- - \todo Verify: RPI2-1.2 and RPI3 aarch64
+
+## NetBSD current
+
+ - RPI3 builtin bluetooth
+
+## (maybe) NetBSD current, with manual steps
+
+   These items do not work in the sense that they simply function after a standard install.  Being listed here implies only that there has been list traffic that implies that after taking a bunch of steps (e.g. new firmware, new dtbs, enabling drivers, applying patches), one can end up with the feature working.  The HOWTO explicitly refrains from describing these steps because they are ephemeral.  However, the fact that list traffic indicates success is possible is a clue that proper support is on the horizon, and that is notable.
+
+ - RPI3, RPI0W builtin WiFi
 
 ## What needs documenting if it works
 
@@ -49,9 +60,7 @@ In mid-2018, -current gained support for
 
  - RPI4 (as of 2020-01, still does not work in current)
  - USB (host); isochronous transfers.
- - RPI3, RPI0W builtin WiFi
  - RPI0W Bluetooth Low Energy (probably)
- - aarch64 support is evolving very rapidly, and not yet recommended for production, largely because one must run -current.
 
 # CPU types
 
@@ -70,8 +79,8 @@ While the evbarm port has "eb" variants 
 
 The RPI2-1.2 and RPI3 have an armv8 CPU that supports aarch64 (64-bit
 mode) in addition to aarch32 (regular 32-bit ARM).  This is supported,
-in -current only, by the "aarch64" MACHINE_ARCH of evbarm, also
-available in build.sh via the alias evbarm64.  This is sometimes
+from -9 onwards, by the "aarch64" MACHINE_ARCH of evbarm, also
+available in build.sh via the alias evbarm64.  This is also
 referred to as [[NetBSD/aarch64|aarch64]].
 
 # Installation
@@ -293,7 +302,7 @@ Miscellaneous notes about Raspberry PI.
 
 ## Power supply needed (or: why there is a little rainbow square in the top-right corner?)
 Raspberry Pi devices are powered by 5V micro USB and a 2.5A (2500mA)
-power supply is reccomended.  For more information please read:
+power supply is recommended.  For more information please read:
 
  <https://www.raspberrypi.org/documentation/faqs/#pi-power>
 
@@ -305,7 +314,7 @@ sd0(umass0:0:0:0): generic HBA error
 sd0: cache synchronization failed
 """]]
 
-Using a reccomended power supply avoid such issues.
+Using a recommended power supply avoid such issues.
 
 ## Xenon death flash (Raspberry Pi 2 is camera-shy)
 When using laser pointers or xenon flashes in cameras (or other