--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/10/30 01:40:39	1.72
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/10/30 01:49:15	1.73
@@ -145,6 +145,12 @@ every few weeks.
  - Depending on your hardware version, copy this either to /boot/kernel.img (First generation Pi, Pi Zero hardware) or to /boot/kernel7.img (Pi 2, Pi 3 hardware)
  - reboot
 
+## Updating the firmware
+
+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.
+
 # Wireless Networking
 
   Note that the built-in WiFi in the RPI3 is not yet supported.