[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <546DB556.90402@mittwald.de>
Date: Thu, 20 Nov 2014 10:33:10 +0100
From: Sven Kieske <s.kieske@...twald.de>
To: <oss-security@...ts.openwall.com>
Subject: Re: Location of OS security audit reports
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
--
Mit freundlichen Grüßen / Regards
Sven Kieske
Systemadministrator
Mittwald CM Service GmbH & Co. KG
Königsberger Straße 6
32339 Espelkamp
T: +49-5772-293-100
F: +49-5772-293-333
https://www.mittwald.de
Geschäftsführer: Robert Meyer
St.Nr.: 331/5721/1033, USt-IdNr.: DE814773217, HRA 6640, AG Bad Oeynhausen
Komplementärin: Robert Meyer Verwaltungs GmbH, HRB 13260, AG Bad Oeynhausen
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.
