Re: [ANN] Muen - An x86/64 Separation Kernel for High Assurance

[Eryndlia Mavourneen <eryndlia@gmail.com>]

On Wednesday, December 11, 2013 8:46:02 AM UTC-6, Adrian-Ken Rueegsegger wrote:
> 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/

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

-- Eryndlia Mavourneen (KK1T)