Hi,
1) Is there a mechanism for inter VM communication with seL4 as a
hypervisor?
2) If the VMMs run in kernel mode (PL1), as I was told, does it mean
they use hvc commands instead of swi/svc commands when sending messages
to seL4 as hypervisor?
Thank you in advance,
___
Hi Horace,
1) Is there a mechanism for inter VM communication with seL4 as a
hypervisor?
There is a vchan (virtual channel) mechanism that, in our example VMM, is used
to communicate between the VM and other components. If you had configured two
VMMs to have two VMs then if you connected both o