diff options
Diffstat (limited to 'ports')
| -rw-r--r-- | ports/ARMCM3/chcore.c | 4 | ||||
| -rw-r--r-- | ports/ARMCM3/chcore.h | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/ports/ARMCM3/chcore.c b/ports/ARMCM3/chcore.c index 199c71fd9..b9c7ce39a 100644 --- a/ports/ARMCM3/chcore.c +++ b/ports/ARMCM3/chcore.c @@ -27,7 +27,9 @@ __attribute__((weak)) void _IdleThread(void *p) { while (TRUE) { -// asm volatile ("wfi"); +#if ENABLE_WFI_IDLE != 0 + asm volatile ("wfi"); +#endif } } diff --git a/ports/ARMCM3/chcore.h b/ports/ARMCM3/chcore.h index 17b9e5b0b..1e451dfc7 100644 --- a/ports/ARMCM3/chcore.h +++ b/ports/ARMCM3/chcore.h @@ -29,6 +29,7 @@ typedef void *regarm; */ #define BASEPRI_USER 0 /* User level BASEPRI, 0 = disabled. */ #define BASEPRI_KERNEL 0x10 /* BASEPRI level within kernel lock. */ +#define ENABLE_WFI_IDLE 0 /* Enables the use of the WFI ins. */ /* * Interrupt saved context, empty in this architecture. |