On Sun, 8 Dec 2002 19:57:26 +0100
Oliver Schweitzer <oliver.schweitzer@epost.de> wrote:

Hi,

> > > How can I fix my system?
> > 
> > If you are still using an old kernel, compile a new one.

Mmm, I see. Ok, so what about getting the sources in the Linux side and
building a new kernel in there, then moving it into place? I've never
tried it, but in theory it should do the trick. Others feel free to
correct me.
 
Cheers,
-- 
        Miguel Mendez - flynn@energyhq.homeip.net
        GPG Public Key :: http://energyhq.homeip.net/files/pubkey.txt
        EnergyHQ :: http://www.energyhq.tk
        Of course it runs NetBSD!