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

[Brian Drummond <brian3@shapes.demon.co.uk>]

On Fri, 13 Dec 2013 15:39:41 -0800, Diogenes wrote:

> 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?
>  
>>  Given the size of the kernel, a port
>> 
>> to completely different architectures like ARM would probably be more
>> 
>> complex than a rewrite.

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

What does your toolchain for Android look like?

Last time I looked (around Android 2.3) the Dragonlace compiler built 
successfully to generate (command line) apps on Android but there were no 
signs of imminent success getting Ada through the NDK to talk to the GUI.

Which compiler (NDK version etc) are you using, and which Android 
versions?

Thanks,
- Brian