--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2015/07/16 23:08:18	1.41
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2015/07/17 12:03:52	1.42
@@ -90,6 +90,18 @@ Initial Raspberry Pi support was introdu
  - [rpi firmware files](https://github.com/raspberrypi/firmware/tree/master/boot)
    - Copy all files except 'kernel*.img' into /boot and reboot
 
+# Updating the kernel
+ - Build a new kernel, e.g. using build.sh. It will tell you where the ELF version of the kernel is, e.g.
+
+         ...
+         Kernels built from RPI2:
+          /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.bin" kernel that is in a format that the Raspberry can boot. 
+ - Depending on your hardware version, copy this either to /boot/kernel.img (old/V1 hardware) or to /boot/kernel7.img (new/V2 hardware)
+ - reboot
+
 # Wireless Networking
  - A Realtek 802.11n USB adaptor configures as urtwn(4).
    - Configure with wpa_supplicant in /etc/rc.conf -