On Tue, Aug 13, 2013 at 04:13:03PM +0200, Jan Kiszka wrote: > On 2013-08-13 15:45, Stefan Hajnoczi wrote: > > On Tue, Aug 13, 2013 at 09:56:17AM +0200, Jan Kiszka wrote: > > The details depend on your device, do you have a git repo I can look at > > to understand your device model? > > Pushed my hacks here: > > git://git.kiszka.org/qemu.git queues/rt.new3
Excellent, thanks! Are you calling qemu_raise_irq() outside the global mutex and how is it protected? Stefan