diff options
| -rw-r--r-- | ports/samd/mpconfigport.h | 5 | ||||
| -rw-r--r-- | ports/samd/pendsv.h | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/ports/samd/mpconfigport.h b/ports/samd/mpconfigport.h index 8e51720fd..613c24c97 100644 --- a/ports/samd/mpconfigport.h +++ b/ports/samd/mpconfigport.h @@ -110,6 +110,11 @@ #define MP_STATE_PORT MP_STATE_VM +// Additional entries for use with pendsv_schedule_dispatch. +#ifndef MICROPY_BOARD_PENDSV_ENTRIES +#define MICROPY_BOARD_PENDSV_ENTRIES +#endif + // Miscellaneous settings __attribute__((always_inline)) static inline void enable_irq(uint32_t state) { __set_PRIMASK(state); diff --git a/ports/samd/pendsv.h b/ports/samd/pendsv.h index c21af906b..6671fa4e2 100644 --- a/ports/samd/pendsv.h +++ b/ports/samd/pendsv.h @@ -28,6 +28,7 @@ enum { PENDSV_DISPATCH_SOFT_TIMER, // For later & for having at least one entry + MICROPY_BOARD_PENDSV_ENTRIES PENDSV_DISPATCH_MAX }; |