20.06.2016 17:40, Paolo Bonzini wrote:
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).I've sent a patch series for you to rebase patch 10 and 11 on. Let me know what you think!
Paolo
Vasily