j
k
j a
j l
hello devel,
Why vppi , such as vtimer interrupt to guest, is sent from kernel to vmm by fault endpoint but not by notification? I see that spi to guest is sent from kernel to vmm by notification. thank you.
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites