Hi Peng, In theory the existing VMM should work directly on the multi-core seL4 without any changes if you just want everything running on one core. I say 'in theory' because the API is not confirmed yet, but in our experimental version the API is backwards compatible (although I haven't tried the VMM on it). If the API does change I would expect the changes required to get the VMM to work would be extremely trivial. Adrian On Thu 14-Apr-2016 7:24 AM, PX wrote: Dear all, I have some questions about building VMM on top of seL4. I know there is a sel4-based VMM on github (https://github.com/smaccm/sel4arm-vmm-manifest). Gernot also told me that this version of VMM does not support multi core. My questions are: 1) Can this single core version of VMM be run on top of multi-core sel4 just using one core without modification? 2) If not, what supports are missed in the multi-core version of sel4? I assume single-core version applications should be compatible with multi-core micro kernel. 3) If my assumption is wrong, what do we (as VMM developer) need to add to the VMM code to make it workable on the multi-core seL4? thanks Peng _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel ________________________________ 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.