diff options
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 e6f1531ce..c617f573b 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -1726,6 +1726,11 @@ typedef double mp_float_t; #define MICROPY_PY_ONEWIRE (0) #endif +// Whether to provide the "platform" module +#ifndef MICROPY_PY_PLATFORM +#define MICROPY_PY_PLATFORM (MICROPY_CONFIG_ROM_LEVEL_AT_LEAST_EXTRA_FEATURES) +#endif + /*****************************************************************************/ /* Hooks for a port to add builtins */ |