--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/04/05 11:52:08	1.68
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2018/04/05 13:27:58	1.69
@@ -143,7 +143,7 @@ every few weeks.
           /Users/feyrer/work/NetBSD/cvs/src-current/obj.evbarm-Darwin-XXX/sys/arch/evbarm/compile/RPI2/netbsd
          ...
 
- - Besides the "netbsd" kernel in ELF format, there is also a "netbsd.img" kernel that is in a format that the Raspberry can boot.
+ - Besides the "netbsd" kernel in ELF format, there is also a "netbsd.img" (for current) or "netbsd.bin" (for 7 and 8) kernel that is in a format that the Raspberry can boot.
  - 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