I've played with booting the plan9 kernel on OLPC a little and simplified the boot process and the kernel changes needed. Here are the patches and instructions:
http://www.thenewsh.com/~newsham/x/9/olpc/ And a question -- is it possible to use a usb key as a root filesystem? What's involved? Tim Newsham | www.thenewsh.com/~newsham | thenewsh.blogspot.com