Dear all,
I have some questions about building VMM on top of seL4. I know there is a sel4-based VMM on github ( 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?