13 Oct
2016
13 Oct
'16
3:28 a.m.
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,
3451
Age (days ago)
3451
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adrian.Danis＠data61.csiro.au -
Horace Blanc