diff --git a/hermit/arch/x86/kernel/apic.c b/hermit/arch/x86/kernel/apic.c index f7c20ba3f..2e3be50e6 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 = 1; +#define traditional_delay 0 spinlock_t bootlock = SPINLOCK_INIT;