--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2019/09/02 20:48:37	1.121
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2020/01/07 15:09:58	1.124
@@ -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,12 +35,14 @@ In mid-2018, -current gained support for
  - I²C: works, could use enhancements, man page
  - SPI: could use enhancements, man page
 
-## NetBSD current
+## NetBSD 9
+
+ - aarch64 support (RPI3, and should work on all supported systems with 64-bit CPUs)
+
+## NetBSD current (and probably 9)
 
- - RPI3+ 
  - RPI3 builtin bluetooth
  - RPI3 new SD host controller driver
- - \todo Verify: RPI2-1.2 and RPI3 aarch64
 
 ## What needs documenting if it works
 
@@ -48,11 +52,10 @@ In mid-2018, -current gained support for
 
 ## What needs work
 
- - RPI4 (almost certainly; not clear)
+ - 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
 
@@ -71,8 +74,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
@@ -294,7 +297,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>
 
@@ -306,7 +309,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