Hello!

I just noticed that with 1.6 /dev/reload doesn't work anymore. Are there any
plans to fix this or is it better to remove it completely? The "problem" is
that the code assumes the kernel to be an a.out object. I don't know if its
worth to fix it.
I have used /dev/reload on pre-1.6 from time to time. Maybe I was the only
one ;-)

Gunther