Plan 9 from Bell Labs’s /usr/web/sources/contrib/miller/rpi/README
The Raspberry Pi kernel is now part of the standard distribution. See /n/sources/plan9/sys/src/9/bcm or http://plan9.bell-labs.com/sources/plan9/sys/src/9/bcm