diff --git a/arch/x86/kernel/apic.c b/arch/x86/kernel/apic.c index d856d8c30..8bccab65b 100644 --- a/arch/x86/kernel/apic.c +++ b/arch/x86/kernel/apic.c @@ -887,7 +887,8 @@ no_mp: boot_processor = 0; apic_mp = NULL; apic_config = NULL; - ncores = 1; + if (!is_uhyve()) + ncores = 1; goto check_lapic; }