9 Mar
2016
9 Mar
'16
10:43 p.m.
On 9 Mar 2016, at 18:24 , Jackman <kd7nyq@gmail.com<mailto:kd7nyq@gmail.com>> wrote: My ambition about using seL4 as a hypervisor is still uncontested, however. Is a practical VMM for seL4 even available for the x86 platform? Are there even academic projects that I can cannibalize? That’d exactly what’s flying on the ULB: https://ssrg.nicta.com.au/projects/TS/SMACCM/ 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.