From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Newsgroups: comp.lang.ada
Subject: Re: Genode 15.05 is out and brings the Muen Separation Kernel
Date: Wed, 27 May 2015 22:49:17 +0200
Organization: A noiseless patient Spider
Message-ID: <mk5ai5$ldt$1@dont-email.me>
References: <7e00db83-b825-4c71-8730-06197453a4c4@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 27 May 2015 20:48:05 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="ca501e0e7fcfcc1cfba137a0efd8a6d4";
	logging-data="21949"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+RLbxGnLj1jr0cq2zVIufO"
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:31.0) Gecko/20100101 Icedove/31.7.0
In-Reply-To: <7e00db83-b825-4c71-8730-06197453a4c4@googlegroups.com>
Cancel-Lock: sha1:0g3zIfQdmopEncX8r9vc3KHcl6c=
Xref: news.eternal-september.org comp.lang.ada:26025
Date: 2015-05-27T22:49:17+02:00
List-Id: <comp.lang.ada>

Hello,

On 05/27/2015 10:29 AM, kug1977@web.de wrote:
> Hi, 
> 
> Genode 15.05 was released, which is as itself nothing worth mention, but this release comes with the Muen Seperation Kernel, which is written in SPARK. So I think, this is Ada related and you might be interested. 

It is a nice surprise to see that this work is being noticed ;)

> See the release note here: http://genode.org/documentation/release-notes/15.05
> 
> So at least two proven error free kernel are shipped with Genode: Muen and seL4.

Just a minor clarification: the Genode release 15.05 does not ship with
the support for running on top of the Muen Separation Kernel. Even
though the porting work has been done [1] and works on Bochs as well as
on real hardware, we have not yet submitted it upstream for integration
into the Genode OS Framework.

Having said that, we expect that Muen support will land in Genode soon.

Regards,
Adrian

[1] - https://github.com/codelabs-ch/genode/tree/hw_x86_64_muen