My latest kernel (which does appear to work ...) is on sources:
This kernel is the device driver for plan 9. Just keep saying that to
yourself: it's not a kernel, it's a boot loader and runtime driver for
I left the compiled bits in.