Linux-kernel mailing list archive 2000-23,: Re: linux and micro kernel

# Re: linux and micro kernel

James Sutherland (jas88@cam.ac.uk)
Fri, 9 Jun 2000 19:09:41 +0100 (BST)

- Messages sorted by: [ date ][ thread ][ subject ][ author ]
- Next message: Andre Hedrick: "Another Gentus Release in a month..."
- Previous message: Jonathan Paul Cowherd: "Re: new legacy Yamaha PCI module in 2.2.16 kernel won't link??"

On Fri, 9 Jun 2000 mad@students.zcu.cz wrote:
> On Fri, 9 Jun 2000, James Sutherland wrote:
> >
> > In theory, this is a good thing; in practice, it doesn't gain you very
> > much. If my network server's NIC driver collapses, and it's running in
> > usermode, then the server could continue serving files - except... it
> > doesn't have anywhere to send them! It's effectively dead anyway.
> >
> > Similarly storage drivers, I/O drivers, etc. OK, there are a few
> > "expendable" drivers, where I can continue without them - sound, video,
> > mouse, perhaps. However, if this is a desktop/workstation, I need to
> > reboot anyway; if it's a server, what does it have a sound card or mouse
>
> Not sure. Restarting the failed driver is enough. And that restart can be
> done automatically.

Sometimes - if the driver is non-critical, and it has left the hardware in
a safe state, and you can actually get to it to reload. In most realistic
cases, you're screwed anyway.

Anyway, this is off-topic for l-k; followups to linux-future?

James.

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/

- Next message: Andre Hedrick: "Another Gentus Release in a month..."
- Previous message: Jonathan Paul Cowherd: "Re: new legacy Yamaha PCI module in 2.2.16 kernel won't link??"