26 Oct
2018
26 Oct
'18
8:26 a.m.
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 <danielwang.ksu@gmail.com<mailto:danielwang.ksu@gmail.com>> 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 Devel@sel4.systems<mailto:Devel@sel4.systems> https://sel4.systems/lists/listinfo/devel