From 30268c93dc52116bc6c2041c55de486180b4eb03 Mon Sep 17 00:00:00 2001
From: Damien George <damien@micropython.org>
Date: Wed, 13 Oct 2021 18:40:06 +1100
Subject: [PATCH] stm32/pendsv: Allow a board to add entries for
 pendsv_schedule_dispatch.

Signed-off-by: Damien George <damien@micropython.org>
---
 ports/stm32/boardctrl.h | 5 +++++
 ports/stm32/pendsv.h    | 3 +++
 2 files changed, 8 insertions(+)

diff --git a/ports/stm32/boardctrl.h b/ports/stm32/boardctrl.h
index c870af32a4..0878a453b3 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 aa8f90e3e4..0733d355d3 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
 };
 
-- 
GitLab