Jonas 'Sortie' Termansen 2b6463aa95 Fix drivers not detecting PCI devices without an interrupt line.		2016-08-21 00:03:58 +02:00
..
sortix	Fix drivers not detecting PCI devices without an interrupt line.	2016-08-21 00:03:58 +02:00