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: Wed, 11 Dec 2013 15:46:02 +0100
Organization: A noiseless patient Spider
Message-ID: <l89trc$f4g$1@dont-email.me>
References: <l87ipv$u54$1@dont-email.me>
 <a85b8267-a7d9-42e9-8040-8f2940b9e1cc@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 11 Dec 2013 14:46:04 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="fceedc71219472d4c68f503b356e4e6f";
	logging-data="15504"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+1WB8rYXvMf3WhfSFIxwcO"
User-Agent: Mozilla/5.0 (X11; Linux x86_64;
 rv:17.0) Gecko/20131103 Icedove/17.0.10
In-Reply-To: <a85b8267-a7d9-42e9-8040-8f2940b9e1cc@googlegroups.com>
Cancel-Lock: sha1:3cIMKoPTDuPUZj1lkCAWvQjFpXo=
Xref: news.eternal-september.org comp.lang.ada:17958
Date: 2013-12-11T15:46:02+01:00
List-Id: <comp.lang.ada>

On 12/11/2013 03:07 PM, Maciej Sobczak wrote:
> W dniu wtorek, 10 grudnia 2013 18:25:20 UTC+1 użytkownik Adrian-Ken Rueegsegger napisał:
> 
>> 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.
> 
> Interesting.
> 
> Do you plan to support the TCP/IP stack in this kernel?
> (It is announced as a prototype, so I assume that it is not yet done.)

No, the kernel will not have a TCP/IP stack. Networking must be done by
a subject running on top of the Muen Kernel, e.g. a Linux VM that has
direct access to a network card. A second possibility would be to
implement TCP/IP as a native Ada/SPARK component which would drive the
NIC directly. AdaCore has such a stack, see [1].

Regards,
Adrian

[1] - http://www.adacore.com/labs/tcp-ip-stack/