@dalias You need an arbitrator of the interrupt controller, which is a shared resource. That’s what the hypervisor provides.