--- wikisrc/ports/evbarm/raspberry_pi.mdwn	2013/03/03 22:29:07	1.8
+++ wikisrc/ports/evbarm/raspberry_pi.mdwn	2013/03/03 22:41:49	1.9
@@ -14,6 +14,10 @@ This page attempts to document and coord
  - [rpi firmware files](https://github.com/raspberrypi/firmware/tree/master/boot)
    - Copy all files except 'kernel*img' into /boot and reboot
 
+# Additional links
+ - [ARM userland utilities](https://github.com/jaredmcneill/userland)
+ - [Additional kernel drivers for VCHIQ](https://github.com/jaredmcneill/vchiq-netbsd)
+
 # What works
  - multi-user boot with root on SD card
  - serial or graphics console (with EDID query / parsing)