It's been fun playing around with Plan 9 on Raspberry Pi - thanks to everyone who made it happen.

1. I'm trying to get a custom built kernel to boot but not having great luck, unfortunately. I got as far as "mk 'CONF=pi'" in /sys/src/9/bcm (those are the latest sources, correct?) which generated a 2M kernel named 's9pi'. I added that to the FAT partition on the standard 9pi SD card image and edited config.txt to point to it. Now, when I boot I see a rainbow pattern screen -- switching back to the 9pi kernel in config.txt makes it boot again.

The kernel I built seems to be a bit different than the one included in the SD card image, though they are roughly the same size:

$ file s9pi # built kernel
s9pi: Plan 9 executable, ARM 7-something
$ file 9pi # kernel includes in SD card image
9pi: data

What am I doing wrong?

2. A couple of my keyboards don't work with the standard kernel on the SD card (the mouse works fine). Is /sys/src/omap/usbehciomap.c the right place for me to start looking into adding support for them?

Thanks again!

-Anant