diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-04-23 16:18:14 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-30 23:47:11 +1000 |
| commit | 544c308c18d134ade0ce23f39b73dc3f46074825 (patch) | |
| tree | e2c2c0cef650526a492b735ce2382c41e46c8578 /py/mpconfig.h | |
| parent | 4371c971e3dfb743388ccb493c137a25aa9cdd35 (diff) | |
py/scheduler: Add option to wrap mp_sched_schedule in arbitrary attr.
So ports can put it in a special memory section if needed.
Diffstat (limited to 'py/mpconfig.h')
| -rw-r--r-- | py/mpconfig.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/py/mpconfig.h b/py/mpconfig.h index 1327d8b02..f2b3af1f2 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -1449,6 +1449,10 @@ typedef double mp_float_t; #define MICROPY_WRAP_MP_KEYBOARD_INTERRUPT(f) f #endif +#ifndef MICROPY_WRAP_MP_SCHED_SCHEDULE +#define MICROPY_WRAP_MP_SCHED_SCHEDULE(f) f +#endif + /*****************************************************************************/ /* Miscellaneous settings */ |