A compressed image of a bootable plan9 SD card for the Raspberry Pi is available from this link:

    http://plan9.bell-labs.com/sources/contrib/miller/9pi.img.gz