As a temporary measure until the raspberry pi kernel moves onto sources, I've set up a repository that can be used with replica/pull to keep up to date with 9pi kernel changes and essential usb driver patches which haven't been applied to the main tree yet.
9pi SD card images earlier than 12 December 2012 had some incorrect file ownership and permission settings, so if you installed a 9pi fossil image before that date you should update it: 9fs sources cp /n/sources/contrib/miller/rpi/dist/replica/9pi /dist/replica/ replica/pull -s/ /dist/replica/9pi If you're using a raspberry pi only as a diskless terminal for an existing Plan 9 network, you can use the same repository to install and update just the 9pi kernel files: replica/pull -v /dist/replica/9pi /sys/src/9/bcm
