On ESP32, it is: MicroPython is implemented on top of the ESP-IDF, Espressif’s development framework for the ESP32. This is a FreeRTOS based system. https://docs.micropython.org/en/latest/esp32/general.html#te...