Please note that this is not the architecture we recommend, as it increases your trusted computing base with a lot of unverified code.
Each VM should have its own VMM, so the VMM cannot break isolation. We’re working on multi-VM support. Gernot On 26 Oct 2018, at 02:31, Daniel Wang <[email protected]<mailto:[email protected]>> wrote: Hi all, I’m wondering can the camkes-arm-vmm run multiple VMs at once? I know it is possible for X86 but I’m not sure about the ARM version. Thanks Best Regards -Daniel Wang _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
