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,