Re: if_fxp - the real point

[David O'Brien]

On Wed, Mar 14, 2001 at 09:09:15AM -0800, Alfred Perlstein wrote:
> how many times does windows crash because of poorly written drivers
> rather than flaws in the core OS? (*)

ALL the time.  Microsoft has given the UC-Davis security and formal
verification lab a multi-year grant to look at this problem.
(the approach being researched is "model checking")

-- 
-- David  ([EMAIL PROTECTED])
          GNU is Not Unix / Linux Is Not UniX

To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-hackers" in the body of the message