Adam Sulmicki <adam@cfar.umd.edu> writes:

> Unless I'm missing something obvious, it seems to be ulteriorily
> broken.

Modload only supports a.out, but there is a patched version at
ftp://ftp.pdc.kth.se/home/joda/elf-modload.tar.gz.

You will also need `-mno-fp-regs' to convince gcc not to emit floating
point ops (which doesn't work in the kernel).

See also port-alpha/6149.

/Johan