1. 2114f50 seabios: q35: Register PCI IRQs as active high in APIC mode by Jan Kiszka · 9 years ago
  2. ecbe3fd seabios: q35: add dsdt by Isaku Yamahata · 9 years ago