e10k: device_db file option fixed to allow legacy interrupts

[barrelfish] / usr / skb / programs / device_db.pl

diff --git a/usr/skb/programs/device_db.pl b/usr/skb/programs/device_db.pl
index c4ccacc..2b41b9e 100644 (file)
--- a/usr/skb/programs/device_db.pl
+++ b/usr/skb/programs/device_db.pl
@@ -79,7 +79,6 @@ pci_driver{
     core_offset: 0,
     multi_instance: 0,
     interrupt_load: 0.5,
-    interrupt_model: [msix],
     platforms: ['x86_64']
 }.