Semi-functional SMP (boots Kitten guest with two cores)

[palacios.git] / palacios / src / palacios / vmm_mptable.c

diff --git a/palacios/src/palacios/vmm_mptable.c b/palacios/src/palacios/vmm_mptable.c
index 9f8713e..578beed 100644 (file)
--- a/palacios/src/palacios/vmm_mptable.c
+++ b/palacios/src/palacios/vmm_mptable.c
@@ -364,7 +364,7 @@ static int write_mptable(void *target, uint32_t numcores)
        interrupt->io_interrupt_flags.fields.el=INT_TRIGGER_DEFAULT;
        interrupt->source_bus_id=0;
        interrupt->source_bus_irq=irq;
-       interrupt->dest_ioapic_id=1;
+       interrupt->dest_ioapic_id=numcores;
        interrupt->dest_ioapic_intn=irq;
     }