20.06.2016 17:40, Paolo Bonzini wrote:

I've sent a patch series for you to rebase patch 10 and 11 on.  Let me
know what you think!
I see no problems with the patch series. In second version, I'll create named GPIO ("gsi") for the new IRQ vector gsi (patch 10). The vector will be used to set up ISA bus IRQs with isa_bus_irqs (patch 11).

Paolo


Vasily

Reply via email to