From: Marc C <mc.provisional@gmail.com>
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
Date: Thu, 12 Dec 2013 05:52:29 -0800 (PST)
Date: 2013-12-12T05:52:29-08:00 [thread overview]
Message-ID: <f1732578-550d-4ef5-afc5-7320e2bc5d5a@googlegroups.com> (raw)
In-Reply-To: <l87ipv$u54$1@dont-email.me>
On Tuesday, December 10, 2013 11:25:20 AM UTC-6, Adrian-Ken Rueegsegger wrote:
> Hi,
>
> We are proud to announce the public availability of the Muen Separation
> Kernel project. The goal of the Muen project is the development of a
> trustworthy open-source foundation for component-based high-assurance
> systems.
This was posted in /r/programming on Reddit and generated some decent discussion. http://redd.it/1sjyop
Marc A. Criley
Ada sub-reddit moderator
next prev parent reply other threads:[~2013-12-12 13:52 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-12-10 17:25 [ANN] Muen - An x86/64 Separation Kernel for High Assurance Adrian-Ken Rueegsegger
2013-12-10 17:36 ` Jacob Sparre Andersen
2013-12-11 14:07 ` Maciej Sobczak
2013-12-11 14:46 ` Adrian-Ken Rueegsegger
2013-12-11 15:24 ` Eryndlia Mavourneen
2013-12-12 13:52 ` Marc C [this message]
2013-12-13 21:41 ` Diogenes
2013-12-13 23:30 ` Alexander Senier
2013-12-13 23:39 ` Diogenes
2013-12-14 11:25 ` Brian Drummond
2013-12-14 11:25 ` Brian Drummond
2013-12-13 23:43 ` Adrian-Ken Rueegsegger
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox