Plan 9 for raspberry pi (bcm2835).
Kernel source is now in the normal sources tree:
/n/sources/plan9/sys/src/9/bcm
aka
http://plan9.bell-labs.com/sources/plan9/sys/src/9/bcm
(This is a user-contributed directory and should not be interpreted as statement by Alcatel-Lucent.)