Muzer wrote:But doing a pull, does this update everything (binaries, the kernel, etc.), or just sources, or does it update userspace binaries but just kernel source, or what?

Everything that is in /n/sources/plan9/ dir but note that only the 386 bits are built there at present. On the RPi you'll have to rebuild the kernel and binaries and 'mk install' them. Furthermore, you will have to manually copy the kernel to the dos partition. See this wiki page (also mentioned in Richard's last message in this thread) for how to avoid downloading 386 bits.