On 16 Oct 2014, at 17:38 , S Madhu <smadhu2048@gmail.commailto:smadhu2048@gmail.com> wrote:
x86 support is actually becoming more critical for us (and I suspect for a lot of other research groups too) since we are looking at replacing the VM layer in private clouds for financial and other secure applications with sel4. Only issue is IA64 support which I believe is still not stable in seL4 ?
With stable IA64 support, seL4 becomes an excellent candidate for Secure Enterprise Virtualization.
I assume when you say “IA64” you mean what Intel marketing this week cunfuslingly calls “Intel 64”, otherwise known as x86-64, or simply x86. (“IA-64” is Itanium, a completely different, and, unfortunately, almost completely dead architecture.)
x64 support is sort-of working but not yet releasable. It also isn’t a particularly high priority for us ATM. This can change if someone wants to inject some cash. Failing that we are not prepared to commit to a release anytime soon.
Gernot
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.