From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance
Date: Wed, 11 Dec 2013 06:07:32 -0800 (PST)
Date: 2013-12-11T06:07:32-08:00 [thread overview]
Message-ID: <a85b8267-a7d9-42e9-8040-8f2940b9e1cc@googlegroups.com> (raw)
In-Reply-To: <l87ipv$u54$1@dont-email.me>
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.)
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
next prev parent reply other threads:[~2013-12-11 14:07 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 [this message]
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