Downloaded the latest raspi plan9 img, copied it onto an empty SD card, ethernet is connected. It gets stuck in a loop complaining about a missing /boot/kfs file server. Any hints? Thanks Floris van Manen