@ -90,6 +90,7 @@
#define MICROPY_PY_UHASHLIB (1)
#define MICROPY_PY_UBINASCII (1)
#define MICROPY_PY_URANDOM (1)
#define MICROPY_PY_UTIME (1)
#define MICROPY_PY_MACHINE (1)
#define MICROPY_ERROR_REPORTING (MICROPY_ERROR_REPORTING_DETAILED)
@ -6,8 +6,5 @@ MICROPY_FORCE_32BIT = 0
# Linking with GNU readline causes binary to be licensed under GPL
MICROPY_USE_READLINE = 1
# Subset of CPython time module
MICROPY_PY_TIME = 1
# ffi module requires libffi (libffi-dev Debian package)
MICROPY_PY_FFI = 0