It’s true, Plan 9 will boot on a Raspberry Pi. Simply a matter of copying the image to the SD card and powering the thing up.
Didn’t seem to like my USB keyboard though. Whether that is because of a problem with the keyboard, with my Raspberry Pi’s hardware or with the Pla 9 port will have to wait – as I am going out now.
The one thing that also seemed clear is that the display driver doesn’t play too well with a television. So I better use a proper monitor too.
But the system worked and was plainly alive (ie it was updating its output).