[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: User-space device drivers: ``interface to interrupt hardware''
|
From: |
Ludovic Courtès |
|
Subject: |
Re: User-space device drivers: ``interface to interrupt hardware'' |
|
Date: |
Wed, 19 Sep 2007 14:22:00 +0200 |
|
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) |
Hi,
Thomas Schwinge <tschwinge@gnu.org> writes:
> What is Minix doing?
Minix 3 uses user-level drivers. In some cases, when a transient
failure affects a driver process, it may be restarted. See, for
instance:
J. Herder et al., "Construction of a Highly Dependable Operating
System", http://www.minix3.org/doc/EDCC-2006.pdf
Thanks,
Ludovic.