> > also note, that the kw kernel is bootable without uimage
> > support.
>
> ... and so is any other Plan 9 arm kernel, as long as you
> have access to u-boot's console or config variables.
> See booting(8).

the rpi doesn't use u-boot by default, though, does it?
i certainly don't see any indication on my machines.

there's something just a little annoying about having a boot
loader that is much larger than the kernel than you're loading.  :-)

- erik