Re: [coreboot] how to assign irq to a device

[ali hagigat]

You need to reprogram the config space registers of your PCI bridge or
your USB controller to assign a new IRQ for each.