From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
Date: Tue, 10 Dec 2013 18:36:44 +0100
Date: 2013-12-10T18:36:44+01:00 [thread overview]
Message-ID: <87txeg38wj.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: l87ipv$u54$1@dont-email.me
Adrian-Ken Rueegsegger wrote:
> 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 sounds very good!
I look forward to try Muen.
Greetings,
Jacob
--
»Great minds discuss ideas,
Average minds discuss events,
Small minds discuss people.«
next prev parent reply other threads:[~2013-12-10 17:36 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 [this message]
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
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