From owner-freebsd-hackers Wed Mar 14 11:37:36 2001 Delivered-To: freebsd-hackers@freebsd.org Received: from fw.wintelcom.net (ns1.wintelcom.net [209.1.153.20]) by hub.freebsd.org (Postfix) with ESMTP id C511537B719 for ; Wed, 14 Mar 2001 11:37:34 -0800 (PST) (envelope-from bright@fw.wintelcom.net) Received: (from bright@localhost) by fw.wintelcom.net (8.10.0/8.10.0) id f2EJbYd05357 for hackers@FreeBSD.ORG; Wed, 14 Mar 2001 11:37:34 -0800 (PST) Date: Wed, 14 Mar 2001 11:37:34 -0800 From: Alfred Perlstein To: hackers@FreeBSD.ORG Subject: Re: if_fxp - the real point Message-ID: <20010314113734.G29888@fw.wintelcom.net> References: <200103092332.f29NW4785782@gollum.esys.ca> <20010309221250.2384337B71B@hub.freebsd.org> <200103092332.f29NW4785782@gollum.esys.ca> <20010314123503.C74704@daemon.ninth-circle.org> <5.0.0.25.0.20010314110743.02373a00@mail.etinc.com> <20010314090915.D29888@fw.wintelcom.net> <20010314104748.A31046@dragon.nuxi.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20010314104748.A31046@dragon.nuxi.com>; from TrimYourCc@NUXI.com on Wed, Mar 14, 2001 at 10:47:49AM -0800 X-all-your-base: are belong to us. Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG * David O'Brien [010314 10:47] wrote: > 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") How does one get the forms for these sort of grants? :) -- -Alfred Perlstein - [bright@wintelcom.net|alfred@freebsd.org] To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message