e10k: device_db file option fixed to allow legacy interrupts
[barrelfish] / usr / skb / programs / device_db.pl
index c4ccacc..2b41b9e 100644 (file)
@@ -79,7 +79,6 @@ pci_driver{
     core_offset: 0,
     multi_instance: 0,
     interrupt_load: 0.5,
-    interrupt_model: [msix],
     platforms: ['x86_64']
 }.