armcm_boot: Support ARM cortex-m33 chips

Signed-off-by: Kevin O'Connor <kevin@koconnor.net>
2024-10-25 15:21:23 -04:00
parent c5c79c936f
commit 4ef21a1e9b
3 changed files with 8 additions and 3 deletions
--- a/src/generic/armcm_irq.c
+++ b/src/generic/armcm_irq.c
@@ -38,7 +38,7 @@ irq_restore(irqstatus_t flag)
 void
 irq_wait(void)
 {
-    if (__CORTEX_M >= 7)
+    if (__CORTEX_M == 7)
        // Cortex-m7 may disable cpu counter on wfi, so use nop
        asm volatile("cpsie i\n    nop\n    cpsid i\n" ::: "memory");
    else