Re: [seL4] camkes-arm-vmm run multiple VMs at once

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