Plan 9 from Bell Labs’s /usr/web/sources/contrib/miller/9/rpi/README
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