[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20141120090130.5eaaf7ff@127>
Date: Thu, 20 Nov 2014 09:01:30 -0800
From: "M.T. Roebuck" <marvint.roebuck@...ox.lv>
To: oss-security@...ts.openwall.com
Subject: Re: Location of OS security audit reports
On Thu, 20 Nov 2014 10:33:10 +0100
Sven Kieske <s.kieske@...twald.de> wrote:
>
>
> On 17/11/14 04:17, M.T. Roebuck wrote:
> > Also I am interested in OSs that are not *nix or MS/Apple.
> > I know of Haiku OS but are there any others? Does China
> > or Japan or any other country have their own OSs?
> >
> > Is the world really limited to just a few?
>
> Of course it is not.
>
>
> Take the l4 family for example
> seL4 is open source:
>
> https://github.com/seL4
>
> the implementation was proofed
> to fulfill the specification, read more at:
>
> http://sel4.systems/
>
> many other systems are at least certified
> for common criteria EL4+
>
> HTH
Thank you, will make time to look at this.
Powered by blists - more mailing lists
Please check out the
Open Source Software Security Wiki, which is counterpart to this
mailing list.
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
