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

[Diogenes <phathax0r@gmail.com>]

On Friday, December 13, 2013 6:30:54 PM UTC-5, Alexander Senier wrote:
> On Fri, 13 Dec 2013 13:41:38 -0800 (PST)
> 
> Diogenes <phathax0r@gmail.com> wrote:
> 
> 
> 
> 
> > Are there plans to port this kernel?
 
> While a port to a suitable AMD CPU seems doable, it is not planned at
> 
> the moment as there is no demand. Given the size of the kernel, a port
> 
> to completely different architectures like ARM would probably be more
> 
> complex than a rewrite.
> 
> 
> 
> > 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.
> 
> 
> 
> Regards
> 
> Alex

Thanks. I was curious because I'm working on some Ada apps for both Opteron and Android platforms.

I'll download your kernel and have look.