diff options
-rw-r--r-- | src/arch/arm64/boot.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/arch/arm64/boot.c b/src/arch/arm64/boot.c index 367aaaca2c..c925c08020 100644 --- a/src/arch/arm64/boot.c +++ b/src/arch/arm64/boot.c @@ -42,7 +42,8 @@ static void run_payload(struct prog *prog) uint8_t current_el = get_current_el(); /* Start the other CPUs spinning. */ - spintable_start(); + if (IS_ENABLED(CONFIG_ARM64_USE_SPINTABLE)) + spintable_start(); printk(BIOS_SPEW, "entry = %p\n", doit); |