I've been looking through the docs on how to go about installing a new
kernel, but I've yet to find out how.  I need to copy back a kernel to
the ados partition, but I can only mount them read-only.  Hints ?

Darren