From: Avi Kivity <avi@qumranet.com>

instead of timing out, wait until all cpus are up

diff --git a/bios/rombios32.c b/bios/rombios32.c

index ef98a41..05ba40d 100644

--- a/bios/rombios32.c

+++ b/bios/rombios32.c

@@ -512,7 +512,12 @@ void smp_probe(void)

         sipi_vector = AP_BOOT_ADDR >> 12;

         writel(APIC_BASE + APIC_ICR_LOW, 0x000C4600 | sipi_vector);

+#ifndef BX_QEMU

         delay_ms(10);

+#else

+        while (cmos_readb(0x5f) + 1 != readw(&smp_cpus))

+            ;

+#endif

     }

     BX_INFO("Found %d cpu(s)\n", readw(&smp_cpus));

 }