rp2/pendsv: Add MICROPY_BOARD_PENDSV_ENTRIES for board customisation.

ports/rp2/mpconfigport.h

@@ -201,6 +201,11 @@ extern const struct _mp_obj_type_t mod_network_nic_type_wiznet5k;
     MICROPY_HW_NIC_WIZNET5K \
     MICROPY_BOARD_NETWORK_INTERFACES \
 
+// Additional entries for use with pendsv_schedule_dispatch.
+#ifndef MICROPY_BOARD_PENDSV_ENTRIES
+#define MICROPY_BOARD_PENDSV_ENTRIES
+#endif
+
 #define MP_STATE_PORT MP_STATE_VM
 
 // Miscellaneous settings

ports/rp2/pendsv.c

@@ -25,6 +25,7 @@
  */
 
 #include <assert.h>
+#include "py/mpconfig.h"
 #include "pendsv.h"
 #include "RP2040.h"
 

ports/rp2/pendsv.h

@@ -38,6 +38,7 @@ enum {
     #if MICROPY_PY_NETWORK_WIZNET5K
     PENDSV_DISPATCH_WIZNET,
     #endif
+    MICROPY_BOARD_PENDSV_ENTRIES
     PENDSV_DISPATCH_MAX
 };