--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/11/06 13:27:25	1.87
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/11/06 13:31:59	1.88
@@ -157,7 +157,7 @@ The program vcgencmd, referenced in the 
 
 A section below describes the process of updating NetBSD's copy of the firmware from upstream, with testing, by NetBSD developers.  This section is about updating a system's firmware from the firmware in a version of NetBSD.
 
-\todo Explain where the firmware is in the source tree, and if it is in the installed system image (such as /usr/mdec).  Explain any particular cautions.
+\todo Explain where the firmware is in the source tree, and if it is in the installed system image (such as /usr/mdec).  Explain how to update a system (presumably /boot) from either an installed system's new firmware files, or the source tree.  Explain any particular cautions.
 
 ## Booting