In article <Pine.NEB.3.96.980325161842.28115K-100000@like.duh.org>,
> Copying a kernel to /dev/reload just copies it to a file called
> "/dev/reload", not any device.

That is wrong. The Amiga port has a device file called "/dev/reload"
for ages. From "src/etc/etc.amiga/MAKEDEV":

        mknod reload            c 2 20  ; chmod 600 reload

> "ls -l /dev/reload" and see what I mean.

That's exactly what *you* should do.

-- 
Matthias Scheler                                http://home.owl.de/~tron/