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!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Newsgroups: comp.lang.ada
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
Date: Sat, 14 Dec 2013 00:43:05 +0100
Organization: A noiseless patient Spider
Message-ID: <l8g628$jvv$1@dont-email.me>
References: <l87ipv$u54$1@dont-email.me>
 <f91fc708-d664-4455-9b77-9dfa203dbbae@googlegroups.com>
 <20131214003054.2565a031@t400>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 13 Dec 2013 23:43:04 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="5846a9ea3ab3901459d96298cda01de4";
	logging-data="20479"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+kIxj+WZtM+n9L2Zlhx0Sp"
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:17.0) Gecko/20131103 Icedove/17.0.10
In-Reply-To: <20131214003054.2565a031@t400>
Cancel-Lock: sha1:Ik5MNOe4aO0zK2mhYVXlXGmEbZw=
Xref: news.eternal-september.org comp.lang.ada:18028
Date: 2013-12-14T00:43:05+01:00
List-Id: <comp.lang.ada>

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