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> 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
https://sel4.systems/lists/listinfo/devel