Hi Daniel,

DornerWorks has gotten a VMM to run multiple VMs at once. However, it took some modification of the libsel4arm-vmm library to do so.

Of the top of my head, we had to map devices to multiple VMs, most notably the VGIC. The VCPU architecture is designed to handle multiple VMs, but I’m not sure about how the specific CAmkES-ARM-VM architecture relates to # of VMs per VMM. DornerWorks’ solution did not use CAmkES, sadly…Other than that, it was as easy as writing a for loop to do everything twice. I’d be interested to see if you could get it working!

Chris Guikema

DornerWorks Ltd.

From: Devel <devel-bounces@sel4.systems> On Behalf Of Daniel Wang
Sent: Thursday, October 25, 2018 11:32 AM
To: devel@sel4.systems
Subject: [seL4] camkes-arm-vmm run multiple VMs at once

CAUTION: This email originated from outside the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.

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