X86: Add IRQ4 to the Intel MP tables.

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index c02276d5c4057f0abec51a8375ae03078f01ef4b..3737a276596085aacda43f083d118a2be89f1b6e 100644 (file)
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -261,6 +261,24 @@ def makeX86System(mem_mode, mdesc = None, self = None):
             dest_io_apic_id = 1,
             dest_io_apic_intin = 1)
     self.intel_mp_table.add_entry(assign_1_to_apic)
+    assign_8259_4_to_apic = X86IntelMPIOIntAssignment(
+            interrupt_type = 'ExtInt',
+            polarity = 'ConformPolarity',
+            trigger = 'ConformTrigger',
+            source_bus_id = 0,
+            source_bus_irq = 4,
+            dest_io_apic_id = 1,
+            dest_io_apic_intin = 0)
+    self.intel_mp_table.add_entry(assign_8259_4_to_apic)
+    assign_4_to_apic = X86IntelMPIOIntAssignment(
+            interrupt_type = 'INT',
+            polarity = 'ConformPolarity',
+            trigger = 'ConformTrigger',
+            source_bus_id = 0,
+            source_bus_irq = 4,
+            dest_io_apic_id = 1,
+            dest_io_apic_intin = 4)
+    self.intel_mp_table.add_entry(assign_4_to_apic)
     assign_8259_12_to_apic = X86IntelMPIOIntAssignment(
             interrupt_type = 'ExtInt',
             polarity = 'ConformPolarity',