diff options
| -rw-r--r-- | ports/stm32/boardctrl.h | 5 | ||||
| -rw-r--r-- | ports/stm32/pendsv.h | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/ports/stm32/boardctrl.h b/ports/stm32/boardctrl.h index c870af32a..0878a453b 100644 --- a/ports/stm32/boardctrl.h +++ b/ports/stm32/boardctrl.h @@ -28,6 +28,11 @@ #include "py/mpconfig.h" +// Additional entries for use with pendsv_schedule_dispatch. +#ifndef MICROPY_BOARD_PENDSV_ENTRIES +#define MICROPY_BOARD_PENDSV_ENTRIES +#endif + #ifndef MICROPY_BOARD_STARTUP #define MICROPY_BOARD_STARTUP powerctrl_check_enter_bootloader #endif diff --git a/ports/stm32/pendsv.h b/ports/stm32/pendsv.h index aa8f90e3e..0733d355d 100644 --- a/ports/stm32/pendsv.h +++ b/ports/stm32/pendsv.h @@ -26,6 +26,8 @@ #ifndef MICROPY_INCLUDED_STM32_PENDSV_H #define MICROPY_INCLUDED_STM32_PENDSV_H +#include "boardctrl.h" + enum { PENDSV_DISPATCH_SOFT_TIMER, #if MICROPY_PY_NETWORK && MICROPY_PY_LWIP @@ -37,6 +39,7 @@ enum { #if MICROPY_PY_BLUETOOTH && !MICROPY_PY_BLUETOOTH_USE_SYNC_EVENTS PENDSV_DISPATCH_BLUETOOTH_HCI, #endif + MICROPY_BOARD_PENDSV_ENTRIES PENDSV_DISPATCH_MAX }; |