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.