comp.lang.ada
 help / color / mirror / Atom feed
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
Date: Sat, 14 Dec 2013 00:43:05 +0100
Date: 2013-12-14T00:43:05+01:00	[thread overview]
Message-ID: <l8g628$jvv$1@dont-email.me> (raw)
In-Reply-To: <20131214003054.2565a031@t400>

On 12/14/2013 12:30 AM, Alexander Senier wrote:
> On Fri, 13 Dec 2013 13:41:38 -0800 (PST)
> Diogenes <phathax0r@gmail.com> wrote:
[...]
>> Are you looking for contributors?
> 
> Sure. Note, that Muen is meant to be the foundation for trustworthy
> *systems* - in a component-based system there are many other interesting
> areas outside the kernel. Someone asked for a (trusted?) TCP/IP stack
> earlier, other trusted components (input, graphics, crypto…) are
> necessary to make up a complete system.

A minor addition to what Alex already said: if you want to contribute,
feel free to join the project mailing list [1] for discussions and
patche submission.

Regards,
Adrian

[1] - http://muen.codelabs.ch/#_resources

      parent reply	other threads:[~2013-12-13 23:43 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
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 [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox