diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c index 287001ca8..b6a2f84f8 100644 --- a/hermit/arch/x86/kernel/apic.c +++ b/hermit/arch/x86/kernel/apic.c @@ -624,7 +624,8 @@ int apic_calibration(void) } #if MAX_CORES > 1 - smp_init(); + if (is_single_kernel()) + smp_init(); #endif return 0;