Oui, merci pour l'info! En fait maintenant il semble qu'il faut d'aller ici:
http://plan9.bell-labs.com/sources/contrib/miller/et y télécharger 9pi.img.gz
Après un gunzip et un dd du genre
# dd if=9pi.img of=/dev/sd0c bs=4M
il suffit d'insérer la carte dans le RPi et de démarrer mais avec écran, clavier et souris.
C'est tout et cela fonctionne.

D'une certaine façon je pense qu'il ne faut plus - à ce jour - essayer de suivre le README car cela m'a conduit - en bricolant largement autour - soit à rien, soit à kernel panic, soit à plantage. D'ailleurs maintenant "kernel=9pi" et "img" est la totalité (ce qui me semble bien plus "logique"). Pour les fichiers de configuration, il suffit de regarder ceux de la partition FAT-32 de l'image. Mais bon les indications du README étaient sans doute bonnes au moment où il a été rédigé.
Voilà à prendre "comme cela" car de toute façon je connais fort mal plan9, le RPi et peux difficilement dans cette configuration avoir écran et réseau simultanément, etc.