Open
Description
In the past when the system has been under high load and the guest/VMM hasn't had a chance to run in a while errors like the following can show up:
VMM|ERROR: vIRQ 0x1b is not enabled
VMM|ERROR: VPPI IRQ 27 dropped on vCPU 0
I can't tell if this is a bug with the VMM or with the kernel since a similar case where the guest hasn't had a chance to run in a while is setting a budget less than the period.
However, this leads to a kernel assertion right now:
seL4/seL4#1104.
More investigation required, will post updates to this issue.
Metadata
Metadata
Assignees
Labels
No labels