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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.50.66.238 with SMTP id i14mr10657461igt.4.1386775444788;
 Wed, 11 Dec 2013 07:24:04 -0800 (PST)
X-Received: by 10.182.111.170 with SMTP id ij10mr19702obb.18.1386775444742;
 Wed, 11 Dec 2013 07:24:04 -0800 (PST)
Path: 
 border1.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!ie8no8665180qab.0!news-out.google.com!9ni7215qaf.0!nntp.google.com!p15no19219869qaj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 11 Dec 2013 07:24:04 -0800 (PST)
In-Reply-To: <l89trc$f4g$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=129.59.203.130;
 posting-account=7Oy7OQoAAABhVYFOo553Cn1-AaU-bSfl
NNTP-Posting-Host: 129.59.203.130
References: <l87ipv$u54$1@dont-email.me>
 <a85b8267-a7d9-42e9-8040-8f2940b9e1cc@googlegroups.com>
 <l89trc$f4g$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7166e0b2-4b28-4d75-820f-8ee0d05dca2a@googlegroups.com>
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
From: Eryndlia Mavourneen <eryndlia@gmail.com>
Injection-Date: Wed, 11 Dec 2013 15:24:04 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Original-Bytes: 2581
Xref: number.nntp.dca.giganews.com comp.lang.ada:184194
Date: 2013-12-11T07:24:04-08:00
List-Id: <comp.lang.ada>

On Wednesday, December 11, 2013 8:46:02 AM UTC-6, Adrian-Ken Rueegsegger wr=
ote:
> On 12/11/2013 03:07 PM, Maciej Sobczak wrote:
> > W dniu wtorek, 10 grudnia 2013 18:25:20 UTC+1 u=C5=BCytkownik Adrian-Ke=
n Rueegsegger napisa=C5=82:
> >=20
> >> We are proud to announce the public availability of the Muen Separatio=
n
> >> Kernel project. The goal of the Muen project is the development of a
> >> trustworthy open-source foundation for component-based high-assurance
> >> systems.
> >=20
> > Interesting.
> >=20
> > 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.)
>=20
> 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].
>=20
> Regards,
> Adrian
>=20
> [1] - http://www.adacore.com/labs/tcp-ip-stack/

Hear hear!  I definitely agree that the kernel should be kept clean, effici=
ent, and safe.  Protocols and the such should be implemented within layers =
outside of the kernel.

-- Eryndlia Mavourneen (KK1T)