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