Surely if you had a decent library linker, you should be able to dump a list
of linked modules in the kernel image, then use the extract capability to remove a module? You could then re-link the image with a new .o module.

Alternatively, the lib linker should be able to re-link by replacing the current module.

_________________________
One of the few remaining Mk1 owners... #00015