From 7f58c294ad4786c685f929baf014814f6865a8f8 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 2 Oct 2016 00:53:39 +0200 Subject: [PATCH] Switch back to the traditional delay for an INIT IPI --- hermit/arch/x86/kernel/apic.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c index 1f5810624..c15b7b301 100644 --- a/hermit/arch/x86/kernel/apic.c +++ b/hermit/arch/x86/kernel/apic.c @@ -89,7 +89,7 @@ static uint8_t online[MAX_APIC_CORES] = {[0 ... MAX_APIC_CORES-1] = 0}; * => by setting traditional_delay to 1, we switch back to the old * way */ -static uint8_t traditional_delay = 0; +static uint8_t traditional_delay = 1; spinlock_t bootlock = SPINLOCK_INIT;