Re: Location of OS security audit reports

["M.T. Roebuck" <marvint.roebuck () inbox lv>]

On Thu, 20 Nov 2014 10:33:10 +0100
Sven Kieske <s.kieske () mittwald 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.