From: kug1977@web.de
Subject: Genode 15.05 is out and brings the Muen Separation Kernel
Date: Wed, 27 May 2015 01:29:23 -0700 (PDT)
Date: 2015-05-27T01:29:23-07:00 [thread overview]
Message-ID: <7e00db83-b825-4c71-8730-06197453a4c4@googlegroups.com> (raw)
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.
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.
King regards
kug1977
next reply other threads:[~2015-05-27 8:29 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-27 8:29 kug1977 [this message]
2015-05-27 20:49 ` Genode 15.05 is out and brings the Muen Separation Kernel Adrian-Ken Rueegsegger
2015-05-28 16:12 ` kug1977
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox