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,

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to