richard miller did a very fine job with the image. 9front used to have a image to download based on it for the raspi1, but it is quite old and nobody updated it.
in the last release, we updated the kernel from richards code and made the /sys/lib/dist/mkfile able to produce a bootable sdcard image with hjfs filesystem. documentation in the fqa is under way. you can build a bootable sdcard image by running: # build arm userspace objtype=arm cd /sys/src mk install # build kernel cd /sys/src/9/bcm # pi1 kernel (optional) mk 'CONF=pi' install # pi2/3 kernel # mk 'CONF=pi2' install (pi2 is default) mk install # download firmware cd /sys/src/boot/bcm mk # build bootable hjfs sdcard image cd /sys/lib/dist mk /tmp/mysdcard.pi.img # copy to sdcard cat /tmp/mysdcard.pi.img > /dev/sdM0/data -- cinap
