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.
On Thu 14-Apr-2016 7:24 AM, PX wrote:
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?
Devel mailing list
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.