Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Thu, 20 Nov 2014 10:33:10 +0100
From: Sven Kieske <>
To: <>
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:

the implementation was proofed
to fulfill the specification, read more at:

many other systems are at least certified
for common criteria EL4+

Mit freundlichen Grüßen / Regards

Sven Kieske

Mittwald CM Service GmbH & Co. KG
Königsberger Straße 6
32339 Espelkamp
T: +49-5772-293-100
F: +49-5772-293-333
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.