diff options
| author | Damien George <damien@micropython.org> | 2022-10-27 14:32:43 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-10-27 14:32:43 +1100 |
| commit | cd35b8a2a3f27499d36c522930ca70d6f26997cd (patch) | |
| tree | e17b9c6033655a730bc93dfa7553443a66e86fea /py | |
| parent | e8f5cfe0e140f510fa0c94c6a5f474430e4a4bef (diff) | |
extmod/machine_timer: Move stm32's implementation of machine.Timer here.
So it can be reused by other ports.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py')
| -rw-r--r-- | py/mpconfig.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/py/mpconfig.h b/py/mpconfig.h index 99fa87e5c..0ae6fcdd1 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -1631,6 +1631,11 @@ typedef double mp_float_t; #define MICROPY_PY_MACHINE_SOFTSPI (0) #endif +// Whether to provide the "machine.Timer" class +#ifndef MICROPY_PY_MACHINE_TIMER +#define MICROPY_PY_MACHINE_TIMER (0) +#endif + // The default backlog value for socket.listen(backlog) #ifndef MICROPY_PY_USOCKET_LISTEN_BACKLOG_DEFAULT #define MICROPY_PY_USOCKET_LISTEN_BACKLOG_DEFAULT (2) |