--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/10/30 14:19:58	1.75
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/10/30 14:28:28	1.76
@@ -163,12 +163,12 @@ One wrinkle in the standard approach is 
 
 An alternate approach is to have the boot FAT32 partition as above, but to have the entire system including root on an external disk.  This is configured by changing root=ld0a to root=sd0a or root=dk0 (depending on disklabel/GPT).  Besides greateer space, part of the point is to avoid writing to the uSD card.
 
-A third approach is to configure USB host booting (default off except on Pi 3+) see the upstream documentation) and have the boot partition also on the external device.  In this case the external device must be configured via fdisk because the hardware's first-stage boot does not have GPT support.   \todo Explain if this has been observed to work.
+A third approach, workable on the Pi 3 only, is to configure USB host booting (already enableed on the 3+) see the upstream documentation) and have the boot partition also on the external device.  In this case the external device must be configured via fdisk because the hardware's first-stage boot does not have GPT support.   \todo Explain if this has been observed to work.
+\todo Explain if the [[procedure to program USB host boot mode|https://www.raspberrypi.org/documentation/hardware/raspberrypi/bootmodes/msd.md]] can function under NetBSD; the examples on the web use Raspbian.
+\todo Explain if there is any way to run vcgencmd on NetBSD.
 
 \todo Explain USB enumeration and how to ensure that the correct boot and root devices are found if one has e.g. a small SSD for the system and a big disk.
 
-\todo Explain if the procedure to program USB host boot mode can function under NetBSD; the examples on the web use Raspbian.
-
 # Wireless Networking
 
 Note that the built-in WiFi in the RPI3 is not yet supported.   USB WiFi interfaces (that work on NetBSD in general) should all work.