[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Buggy Code
- To: misc_(_at_)_openbsd_(_dot_)_org
- Subject: Re: Buggy Code
- From: "Danjel Jungersen" <danjel_(_at_)_jungersen_(_dot_)_dk>
- Date: Fri, 17 Dec 2004 18:02:27 +0100
- Organization: Jungersen Grafisk ApS
Reading this thread I remembered a comment in the LinuxFormat
They mentioned that only 1 system was ever certified by EAL5, and
here I expected to read OpenBSD, but I didn't....
Actually it wasn't mentioned, is OpenBSD certified in any way ?
Later I read that Mandrake is going for it.....
On 15 Dec 2004 at 16:06, Tony wrote:
> Not everyone agrees.
> Deep study: The world's safest computing environment
> / cgi/mi2g/press/021104.php or http://www.mi2g.com/ if you can't
> de-mangle the url.
> Linux just isn't as fun.
> On Dec 15, 2004, at 5:16 AM, paddy wrote:
> > I wonder if any of these guys have heard of Openbsd?
> > http://www.wired.com/news/linux/0,1411,66022,00.html
> > Paddy
Visit your host, monkey.org